PAGAI Results

TRUE Benchmarks

Benchmark Result (pk) Time (in seconds) Result (box) Time (in seconds)
Problem14_20_true-unreach-label.cUNKNOWN (ERROR)3600.05UNKNOWN (ERROR)3600.06
Problem07_10_true-unreach-label.cTRUE47.53TRUE50.77
test_locks_13_true-unreach-label.cTRUE0.08TRUE0.09
Problem04_30_true-unreach-label.cTRUE1649.25UNKNOWN181.56
Problem09_40_true-unreach-label.cUNKNOWN (ERROR)1558.24UNKNOWN (ERROR)1413.22
Problem07_00_true-unreach-label.cTRUE47.45TRUE52.87
s3_srvr_1a_true-unreach-label.cil.cUNKNOWN0.55UNKNOWN0.15
Problem06_50_true-unreach-label.cUNKNOWN (ERROR)2729.20UNKNOWN (ERROR)2715.62
test_locks_10_true-unreach-label.cTRUE0.07TRUE0.07
Problem05_50_true-unreach-label.cTRUE18.65TRUE11.85
cdaudio_simpl1_true-unreach-label_true-termination.cil.cTRUE0.45TRUE0.43
Problem01_40_true-unreach-label.cTRUE6.41UNKNOWN1.75
Problem09_30_true-unreach-label.cUNKNOWN (ERROR)1750.66UNKNOWN (ERROR)2035.81
Problem05_10_true-unreach-label.cTRUE19.19TRUE12.21
kbfiltr_simpl2_true-unreach-label_true-termination.cil.cTRUE0.17TRUE0.16
Problem10_00_true-unreach-label.cUNKNOWN (ERROR)3600.01UNKNOWN (ERROR)3600.02
s3_clnt_2_true-unreach-label_true-termination.cil.cUNKNOWN0.77UNKNOWN0.27
test_locks_15_true-unreach-label_false-termination.cTRUE0.11TRUE0.11
Problem03_30_true-unreach-label.cTRUE46.62UNKNOWN22.41
Problem10_20_true-unreach-label.cUNKNOWN (ERROR)3600.05UNKNOWN (ERROR)3600.02
Problem03_20_true-unreach-label.cTRUE45.24UNKNOWN20.77
Problem06_30_true-unreach-label.cUNKNOWN (ERROR)1936.59UNKNOWN (ERROR)2111.28
s3_srvr_1b_true-unreach-label_false-termination.cil.cUNKNOWN0.26UNKNOWN0.11
s3_clnt_1_true-unreach-label.cil.cUNKNOWN0.87UNKNOWN0.25
Problem08_00_true-unreach-label.cTRUE62.89TRUE57.31
Problem01_00_true-unreach-label.cTRUE5.65UNKNOWN1.59
diskperf_simpl1_true-unreach-label_true-termination.cil.cTRUE0.46TRUE0.42
Problem10_10_true-unreach-label.cUNKNOWN (ERROR)3600.03UNKNOWN (ERROR)3600.04
test_locks_11_true-unreach-label_false-termination.cTRUE0.07TRUE0.07
Problem02_30_true-unreach-label.cTRUE2.79UNKNOWN1.56
test_locks_12_true-unreach-label_false-termination.cTRUE0.08TRUE0.08
Problem03_40_true-unreach-label.cTRUE47.28UNKNOWN22.06
test_locks_9_true-unreach-label.cTRUE0.07TRUE0.06
Problem08_40_true-unreach-label.cTRUE63.32TRUE66.34
Problem09_00_true-unreach-label.cUNKNOWN (ERROR)2056.58UNKNOWN (ERROR)2149.86
Problem02_40_true-unreach-label.cTRUE2.56UNKNOWN1.70
s3_clnt_3_true-unreach-label.cil.cUNKNOWN1.07UNKNOWN0.25
Problem16_50_true-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.07
Problem05_20_true-unreach-label.cTRUE17.61TRUE12.09
floppy_simpl4_true-unreach-label_true-termination.cil.cTRUE0.34TRUE0.31
test_locks_5_true-unreach-label_false-termination.cTRUE0.06TRUE0.06
Problem03_00_true-unreach-label.cTRUE42.04UNKNOWN17.36
Problem04_20_true-unreach-label.cTRUE1746.55UNKNOWN138.35
Problem14_50_true-unreach-label.cUNKNOWN (ERROR)3600.10UNKNOWN (ERROR)3600.09
Problem09_50_true-unreach-label.cUNKNOWN (ERROR)1801.81UNKNOWN (ERROR)1878.20
Problem07_50_true-unreach-label.cTRUE35.08TRUE49.27
s3_clnt_4_true-unreach-label.cil.cUNKNOWN0.84UNKNOWN0.29
Problem01_10_true-unreach-label.cTRUE7.26UNKNOWN2.02
Problem04_00_true-unreach-label.cTRUE1799.57UNKNOWN148.86
Problem02_00_true-unreach-label.cTRUE2.34UNKNOWN1.55
s3_srvr_6_true-unreach-label.cil.cUNKNOWN5.74UNKNOWN1.33
Problem04_50_true-unreach-label.cTRUE1562.52UNKNOWN211.58
Problem01_30_true-unreach-label.cTRUE8.17UNKNOWN1.82
Problem14_00_true-unreach-label.cUNKNOWN (ERROR)3600.01UNKNOWN (ERROR)3600.01
test_locks_7_true-unreach-label_false-termination.cTRUE0.06TRUE0.06
s3_srvr_8_true-unreach-label.cil.cUNKNOWN4.58UNKNOWN0.62
kbfiltr_simpl1_true-unreach-label_true-termination.cil.cTRUE0.10TRUE0.09
Problem02_20_true-unreach-label.cTRUE2.69UNKNOWN1.56
s3_srvr_4_true-unreach-label.cil.cUNKNOWN1.39UNKNOWN0.43
test_locks_14_true-unreach-label.cTRUE0.09TRUE0.09
Problem08_30_true-unreach-label.cTRUE63.04TRUE66.26
Problem08_20_true-unreach-label.cTRUE68.17TRUE66.60
Problem06_40_true-unreach-label.cUNKNOWN (ERROR)2149.10UNKNOWN (ERROR)2415.29
test_locks_6_true-unreach-label_false-termination.cTRUE0.06TRUE0.06
Problem14_30_true-unreach-label.cUNKNOWN (ERROR)3600.02UNKNOWN (ERROR)3600.03
s3_srvr_7_true-unreach-label.cil.cUNKNOWN3.72UNKNOWN0.61
s3_srvr_2_true-unreach-label.cil.cUNKNOWN2.00UNKNOWN0.46
s3_srvr_3_true-unreach-label.cil.cUNKNOWN2.34UNKNOWN0.34
test_locks_8_true-unreach-label_false-termination.cTRUE0.06TRUE0.06
Problem03_10_true-unreach-label.cTRUE43.28UNKNOWN15.65
Problem04_10_true-unreach-label.cTRUE1451.97UNKNOWN180.10
floppy_simpl3_true-unreach-label_true-termination.cil.cTRUE0.26TRUE0.25
s3_srvr_1_true-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN0.70
Problem02_10_true-unreach-label.cTRUE2.97UNKNOWN1.47

FALSE Benchmarks

Benchmark Result (pk) Time (in seconds) Result (box) Time (in seconds)
floppy_simpl3_false-unreach-label_true-termination.cil.cUNKNOWN0.57UNKNOWN0.53
Problem11_20_false-unreach-label.cUNKNOWN (ERROR)3600.03UNKNOWN (ERROR)3600.01
Problem03_60_false-unreach-label.cUNKNOWN98.91UNKNOWN23.81
Problem02_50_false-unreach-label.cUNKNOWN4.17UNKNOWN1.66
Problem13_00_false-unreach-label.cUNKNOWN (ERROR)3600.05UNKNOWN (ERROR)3600.05
Problem10_50_false-unreach-label.cUNKNOWN (ERROR)3600.02UNKNOWN (ERROR)3600.03
Problem16_00_false-unreach-label.cUNKNOWN (ERROR)3600.03UNKNOWN (ERROR)3600.10
Problem13_20_false-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.05
Problem06_10_false-unreach-label.cUNKNOWN (ERROR)1441.56UNKNOWN (ERROR)1416.12
Problem17_40_false-unreach-label.cUNKNOWN (ERROR)3600.06UNKNOWN (ERROR)3600.04
s3_clnt_3_false-unreach-label.cil.cUNKNOWN0.85UNKNOWN0.25
Problem06_00_false-unreach-label.cUNKNOWN (ERROR)1218.52UNKNOWN (ERROR)1197.35
Problem07_30_false-unreach-label.cTRUE50.16TRUE49.17
Problem19_50_false-unreach-label.cUNKNOWN (ERROR)3600.06UNKNOWN (ERROR)3600.12
Problem12_10_false-unreach-label.cUNKNOWN (ERROR)3600.12UNKNOWN (ERROR)3600.07
Problem17_30_false-unreach-label.cUNKNOWN (ERROR)3600.10UNKNOWN (ERROR)3600.03
Problem04_60_false-unreach-label.cUNKNOWN2764.97UNKNOWN138.59
Problem12_30_false-unreach-label.cUNKNOWN (ERROR)3600.07UNKNOWN (ERROR)3600.07
Problem14_10_false-unreach-label.cUNKNOWN (ERROR)3600.06UNKNOWN (ERROR)3600.04
Problem09_10_false-unreach-label.cUNKNOWN (ERROR)2735.84UNKNOWN (ERROR)2775.50
Problem07_40_false-unreach-label.cTRUE47.42TRUE49.98
Problem16_08_false-unreach-label.cUNKNOWN (ERROR)3600.02UNKNOWN (ERROR)3600.04
Problem18_60_false-unreach-label.cUNKNOWN (ERROR)3600.13UNKNOWN (ERROR)3600.11
Problem10_30_false-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.05
Problem13_40_false-unreach-label.cUNKNOWN (ERROR)3600.05UNKNOWN (ERROR)3600.14
Problem08_60_false-unreach-label.cTRUE63.00TRUE59.38
s3_srvr_11_false-unreach-label.cil.cUNKNOWN3.56UNKNOWN0.63
Problem12_40_false-unreach-label.cUNKNOWN (ERROR)3600.14UNKNOWN (ERROR)3600.09
test_locks_15_false-unreach-label.cUNKNOWN0.13UNKNOWN0.11
Problem14_40_false-unreach-label.cUNKNOWN (ERROR)3600.02UNKNOWN (ERROR)3600.02
test_locks_14_false-unreach-label.cUNKNOWN0.11UNKNOWN0.11
Problem12_20_false-unreach-label.cUNKNOWN (ERROR)3600.07UNKNOWN (ERROR)3600.07
Problem01_50_false-unreach-label.cUNKNOWN13.74UNKNOWN2.07
Problem08_50_false-unreach-label.cTRUE65.74TRUE61.27
Problem17_00_false-unreach-label.cUNKNOWN (ERROR)3600.02UNKNOWN (ERROR)3600.04
Problem13_60_false-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.05
Problem16_20_false-unreach-label.cUNKNOWN (ERROR)3600.02UNKNOWN (ERROR)3600.09
Problem10_40_false-unreach-label.cUNKNOWN (ERROR)3600.02UNKNOWN (ERROR)3600.01
Problem05_00_false-unreach-label.cTRUE18.75TRUE11.98
Problem16_30_false-unreach-label.cUNKNOWN (ERROR)3600.13UNKNOWN (ERROR)3600.06
Problem18_00_false-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.06
Problem11_30_false-unreach-label.cUNKNOWN (ERROR)3600.06UNKNOWN (ERROR)3600.01
Problem18_10_false-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.06
Problem08_10_false-unreach-label.cTRUE58.43TRUE65.70
Problem05_60_false-unreach-label.cTRUE12.17TRUE11.56
s3_srvr_6_false-unreach-label.cil.cUNKNOWN6.85UNKNOWN1.08
Problem15_60_false-unreach-label.cUNKNOWN (ERROR)3600.07UNKNOWN (ERROR)3600.10
Problem03_50_false-unreach-label.cUNKNOWN105.97UNKNOWN19.82
cdaudio_simpl1_false-unreach-label_true-termination.cil.cUNKNOWN1.04UNKNOWN1.08
Problem18_20_false-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.07
Problem01_60_false-unreach-label.cUNKNOWN11.58UNKNOWN1.98
Problem12_60_false-unreach-label.cUNKNOWN (ERROR)3600.07UNKNOWN (ERROR)3600.06
Problem16_40_false-unreach-label.cUNKNOWN (ERROR)3600.06UNKNOWN (ERROR)3600.06
Problem05_30_false-unreach-label.cTRUE18.91TRUE11.92
s3_clnt_2_false-unreach-label_true-termination.cil.cUNKNOWN0.61UNKNOWN0.24
kbfiltr_simpl2_false-unreach-label_true-termination.cil.cUNKNOWN0.29UNKNOWN0.25
Problem07_20_false-unreach-label.cTRUE43.72TRUE49.90
s3_srvr_13_false-unreach-label.cil.cUNKNOWN4.84UNKNOWN0.51
s3_clnt_4_false-unreach-label.cil.cUNKNOWN1.13UNKNOWN0.25
s3_srvr_10_false-unreach-label.cil.cUNKNOWN3.00UNKNOWN0.48
Problem19_30_false-unreach-label.cUNKNOWN (ERROR)3600.08UNKNOWN (ERROR)3600.11
Problem15_30_false-unreach-label.cUNKNOWN (ERROR)3600.03UNKNOWN (ERROR)3600.07
s3_srvr_12_false-unreach-label.cil.cUNKNOWN4.63UNKNOWN1.21
Problem16_60_false-unreach-label.cUNKNOWN (ERROR)3600.10UNKNOWN (ERROR)3600.09
Problem04_40_false-unreach-label.cUNKNOWN2939.53UNKNOWN185.71
Problem11_50_false-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.02
Problem15_50_false-unreach-label.cUNKNOWN (ERROR)3600.02UNKNOWN (ERROR)3600.05
Problem19_20_false-unreach-label.cUNKNOWN (ERROR)3600.14UNKNOWN (ERROR)3600.12
Problem05_40_false-unreach-label.cTRUE15.44TRUE11.66
Problem14_60_false-unreach-label.cUNKNOWN (ERROR)3600.14UNKNOWN (ERROR)3600.01
s3_srvr_14_false-unreach-label.cil.cUNKNOWN3.90UNKNOWN0.67
Problem09_60_false-unreach-label.cUNKNOWN (ERROR)1438.40UNKNOWN (ERROR)1583.79
Problem06_60_false-unreach-label.cUNKNOWN (ERROR)2589.39UNKNOWN (ERROR)2742.61
s3_clnt_1_false-unreach-label.cil.cUNKNOWN0.68UNKNOWN0.25
Problem09_20_false-unreach-label.cUNKNOWN (ERROR)1372.74UNKNOWN (ERROR)1509.44
s3_srvr_2_false-unreach-label.cil.cUNKNOWN1.83UNKNOWN0.38
Problem11_10_false-unreach-label.cUNKNOWN (ERROR)3600.02UNKNOWN (ERROR)3600.02
Problem19_38_false-unreach-label.cUNKNOWN (ERROR)3600.14UNKNOWN (ERROR)3600.10
Problem13_30_false-unreach-label.cUNKNOWN (ERROR)3600.06UNKNOWN (ERROR)3600.06
Problem11_00_false-unreach-label.cUNKNOWN (ERROR)3600.01UNKNOWN (ERROR)3600.04
Problem15_20_false-unreach-label.cUNKNOWN (ERROR)3600.03UNKNOWN (ERROR)3600.03
Problem07_60_false-unreach-label.cTRUE49.68TRUE45.74
Problem18_40_false-unreach-label.cUNKNOWN (ERROR)3600.08UNKNOWN (ERROR)3600.05
Problem17_50_false-unreach-label.cUNKNOWN (ERROR)3600.06UNKNOWN (ERROR)3600.04
Problem17_20_false-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.04
Problem15_00_false-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.03
Problem18_30_false-unreach-label.cUNKNOWN (ERROR)3600.03UNKNOWN (ERROR)3600.08
Problem17_60_false-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.02
Problem02_60_false-unreach-label.cUNKNOWN5.16UNKNOWN1.64
Problem19_00_false-unreach-label.cUNKNOWN (ERROR)3600.11UNKNOWN (ERROR)3600.10
Problem01_20_false-unreach-label.cUNKNOWN11.96UNKNOWN2.18
Problem11_40_false-unreach-label.cUNKNOWN (ERROR)3600.02UNKNOWN (ERROR)3600.02
Problem10_60_false-unreach-label.cUNKNOWN (ERROR)3600.01UNKNOWN (ERROR)3600.02
Problem11_60_false-unreach-label.cUNKNOWN (ERROR)3600.09UNKNOWN (ERROR)3600.01
Problem18_50_false-unreach-label.cUNKNOWN (ERROR)3600.04UNKNOWN (ERROR)3600.05
Problem15_40_false-unreach-label.cUNKNOWN (ERROR)3600.02UNKNOWN (ERROR)3600.08
Problem06_20_false-unreach-label.cUNKNOWN (ERROR)1442.61UNKNOWN (ERROR)1515.75
Problem19_10_false-unreach-label.cUNKNOWN (ERROR)3600.09UNKNOWN (ERROR)3600.18
Problem12_50_false-unreach-label.cUNKNOWN (ERROR)3600.06UNKNOWN (ERROR)3600.08
Problem15_10_false-unreach-label.cUNKNOWN (ERROR)3600.03UNKNOWN (ERROR)3600.02
Problem19_60_false-unreach-label.cUNKNOWN (ERROR)3600.10UNKNOWN (ERROR)3600.07
Problem13_50_false-unreach-label.cUNKNOWN (ERROR)3600.05UNKNOWN (ERROR)3600.06
Problem13_10_false-unreach-label.cUNKNOWN (ERROR)3600.05UNKNOWN (ERROR)3600.04
Problem12_00_false-unreach-label.cUNKNOWN (ERROR)3600.12UNKNOWN (ERROR)3600.06
s3_srvr_1_false-unreach-label.cil.cUNKNOWN2.46UNKNOWN0.47
floppy_simpl4_false-unreach-label_true-termination.cil.cUNKNOWN0.80UNKNOWN0.72
Problem17_10_false-unreach-label.cUNKNOWN (ERROR)3600.34UNKNOWN (ERROR)3600.03

TOTAL POINTS: 4

TOTAL TIME (box): 0.0

TOTAL TIME (pk): 0.0