You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

769 B

01:no02:tool03:status04:time_sec05:depth05:mem_kb10:ninit_trans11:ninit_trans12:ncells13:nclauses14:navg_clause_len
1apalacheNoError7041321542400217385130571889
2apalacheNoError6991319502000207969134197988
3apalacheNoError101814277060003117982028544101
4apalacheNoError88914080012002909891951616103
5apalacheNoError905771000020451465542
6apalacheNoError1006737720029132821343
7apalacheNoError806510080022141707744
8apalacheNoError1006831880030823265145
9apalacheNoError3400305384800196943889859108
10apalacheNoError51706424536002856378380277934
11apalacheNoError58704028516002843691343296128
12apalacheNoError88007881148004382556577807238