Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf | Signal 11 (SIGSEGV) | 24.7472 | 24.7575 | 368908 |
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf | Signal 11 (SIGSEGV) | 138.981 | 139.016 | 368960 |
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf | Signal 11 (SIGSEGV) | 1395.7 | 1396.14 | 369039 |
crafted/Hard/contest05/counting-php/ harder-fphp-018-017.sat05-1231.reshuffled-07.cnf | Signal 11 (SIGSEGV) | 3387.35 | 3403.59 | 368956 |
crafted/Hard/contest05/counting-php/ harder-fphp-016-015.sat05-1230.reshuffled-07.cnf | Signal 11 (SIGSEGV) | 4012.51 | 4058.98 | 368947 |
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf | Signal 11 (SIGSEGV) | 4502.17 | 4503.66 | 369043 |
crafted/Hard/contest05/counting-php/ easier-fphp-020-015.sat05-1218.reshuffled-07.cnf | Signal 11 (SIGSEGV) | 4681.33 | 4723.15 | 368954 |