- Summary
- Table
- Quantile Plot
- Scatter Plot
- Info
Benchmark Setup
| Tool | CMCFoldReducer Fold-reducer based conditional verifiers 1.0 | |||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 | |||||||||||||||||||||||||||||||||||||||||
| Host | Unknown | |||||||||||||||||||||||||||||||||||||||||
| OS | Unknown | |||||||||||||||||||||||||||||||||||||||||
| System | Unknown | |||||||||||||||||||||||||||||||||||||||||
| Date of execution | 2020-05-13 07:28:00 | |||||||||||||||||||||||||||||||||||||||||
| Run set | cfa | lh | lhc | lhb | lhbc | nlh | sep | |||||||||||||||||||||||||||||||||||
Statistics
CMCFoldReducer 2020-05-13 07:28:00 cfa
CMCFoldReducer 2020-05-13 07:28:00 lh
CMCFoldReducer 2020-05-13 07:28:00 lhc
CMCFoldReducer 2020-05-13 07:28:00 lhb
CMCFoldReducer 2020-05-13 07:28:00 lhbc
CMCFoldReducer 2020-05-13 07:28:00 nlh
CMCFoldReducer 2020-05-13 07:28:00 sep
Click here to select columns
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
cpuenergy
(J)
(J)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
cpuenergy
(J)
(J)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
cpuenergy
(J)
(J)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
cpuenergy
(J)
(J)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
cpuenergy
(J)
(J)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
cpuenergy
(J)
(J)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
cpuenergy
(J)
(J)
total
2949
1890000
1230000
15700000
18600000
2949
1880000
1220000
15800000
18700000
2949
1890000
1230000
15800000
18700000
2949
1800000
1230000
15900000
18200000
2949
1800000
1230000
15900000
18400000
2949
1800000
1210000
16100000
18100000
2949
1760000
1170000
16100000
18700000
correct results
762
114000
49100
1870000
989000
764
115000
49500
1870000
1000000
761
114000
49200
1860000
997000
624
90800
40200
1610000
772000
623
90400
40500
1610000
768000
634
90500
39900
1610000
778000
614
86100
38000
1590000
732000
correct true
553
89200
39300
1500000
784000
555
90400
39800
1490000
795000
553
90700
39900
1500000
800000
405
64600
29000
1080000
561000
403
63400
28900
1070000
550000
414
64200
28800
1090000
563000
406
61300
27300
1080000
529000
correct false
209
24500
9820
378000
204000
209
24600
9740
379000
205000
208
23600
9280
365000
196000
219
26200
11200
522000
211000
220
27000
11600
538000
218000
220
26300
11200
526000
215000
208
24900
10700
514000
204000
incorrect results
34
1810
540
28000
14700
34
1780
534
28400
14800
34
1800
532
27400
14600
50
4760
2290
47900
40800
49
4180
1730
45700
35300
41
4310
1690
44700
37600
41
3840
1460
41700
31500
incorrect true
0
-
-
-
-
0
-
-
-
-
0
-
-
-
-
0
-
-
-
-
0
-
-
-
-
0
-
-
-
-
0
-
-
-
-
incorrect false
34
1810
540
28000
14700
34
1780
534
28400
14800
34
1800
532
27400
14600
50
4760
2290
47900
40800
49
4180
1730
45700
35300
41
4310
1690
44700
37600
41
3840
1460
41700
31500
score (2949 tasks, max score: 5076)
771
-
-
-
-
775
-
-
-
-
770
-
-
-
-
229
-
-
-
-
242
-
-
-
-
392
-
-
-
-
364
-
-
-
-
Loading...
Generated by BenchExec 2.3