Category: cudf_set

Problemapt-get-paranoid-1.0apt-pbo-paranoid-1.0.6aptitude-paranoid-1.0aspcud-paranoid-1.3cudf2msu4paranoid-1.0cudf2pbo4paranoid-1.0gj-paranoid-solver-0.1p2cudf-paranoid-1.9
small3.cudfFAIL
score:16
trace|run
time:0.09
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:0.16
[0,-2]
score:1
trace|run
result
time:0.13
[0,-2]
score:1
trace|run
result
time:0.06
[0,-2]
score:1
trace|run
result
time:0.28
ABORT
score:16
trace|run
[0,-2]
score:1
trace|run
result
time:1.37
small2.cudfFAIL
score:16
trace|run
time:0.09
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:0.16
[0,-2]
score:1
trace|run
result
time:0.17
[0,-2]
score:1
trace|run
result
time:0.34
[0,-2]
score:1
trace|run
result
time:0.17
ABORT
score:16
trace|run
[0,-2]
score:1
trace|run
result
time:1.40
small1.cudfFAIL
score:16
trace|run
time:0.09
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:0.14
[0,-2]
score:1
trace|run
result
time:0.16
[0,-2]
score:1
trace|run
result
time:0.18
[0,-2]
score:1
trace|run
result
time:0.55
ABORT
score:16
trace|run
[0,-2]
score:1
trace|run
result
time:1.54
large3.cudfFAIL
score:16
trace|run
time:0.17
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:0.23
FAIL
score:16
trace|run
time:290.09
FAIL
score:16
trace|run
time:290.03
FAIL
score:16
trace|run
time:290.11
FAIL
score:16
trace|run
time:30.75
[0,-2]
score:1
trace|run
result
time:211.94
large2.cudfFAIL
score:16
trace|run
time:0.18
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:0.22
[0,-2]
score:1
trace|run
result
time:171.22
FAIL
score:16
trace|run
time:290.09
FAIL
score:16
trace|run
time:290.03
FAIL
score:16
trace|run
time:30.78
FAIL
score:16
trace|run
time:281.23
large1.cudfFAIL
score:16
trace|run
time:0.18
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:0.22
[0,-2]
score:1
trace|run
result
time:122.31
FAIL
score:16
trace|run
time:290.08
FAIL
score:16
trace|run
time:290.05
FAIL
score:16
trace|run
time:30.81
FAIL
score:16
trace|run
time:281.27
huge3.cudfFAIL
score:16
trace|run
time:0.35
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:0.42
FAIL
score:16
trace|run
time:290.04
FAIL
score:16
trace|run
time:290.02
FAIL
score:16
trace|run
time:290.05
FAIL
score:16
trace|run
time:31.85
FAIL
score:16
trace|run
time:283.17
huge2.cudfFAIL
score:16
trace|run
time:0.36
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:0.42
FAIL
score:16
trace|run
time:290.07
FAIL
score:16
trace|run
time:290.08
FAIL
score:16
trace|run
time:290.04
FAIL
score:16
trace|run
time:31.76
FAIL
score:16
trace|run
time:283.43
huge1.cudfFAIL
score:16
trace|run
time:0.36
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:0.41
FAIL
score:16
trace|run
time:290.02
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:290.05
FAIL
score:16
trace|run
time:31.05
FAIL
score:16
trace|run
time:282.57

Category: debian-dudf

Problemapt-get-paranoid-1.0apt-pbo-paranoid-1.0.6aptitude-paranoid-1.0aspcud-paranoid-1.3cudf2msu4paranoid-1.0cudf2pbo4paranoid-1.0gj-paranoid-solver-0.1p2cudf-paranoid-1.9
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-21,-35]
score:5
trace|run
result
time:7.06
[-15,-29]
score:1
trace|run
result
time:1.09
[-15,-29]
score:1
trace|run
result
time:1.09
[-15,-29]
score:1
trace|run
result
time:1.07
ABORT
score:16
trace|run
[-15,-29]
score:1
trace|run
result
time:4.26
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:21.15
[-14,-40]
score:1
trace|run
result
time:7.86
[-14,-40]
score:1
trace|run
result
time:5.48
[-14,-40]
score:1
trace|run
result
time:24.89
[-18,-39]
score:5
trace|run
result
time:10.75
[-14,-40]
score:1
trace|run
result
time:9.14
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-21,-35]
score:5
trace|run
result
time:7.16
[-15,-23]
score:1
trace|run
result
time:1.00
[-15,-23]
score:1
trace|run
result
time:0.91
[-15,-23]
score:1
trace|run
result
time:0.90
ABORT
score:16
trace|run
[-15,-23]
score:1
trace|run
result
time:3.80
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-59,-69]
score:5
trace|run
result
time:28.23
[-42,-77]
score:1
trace|run
result
time:1.45
[-42,-77]
score:1
trace|run
result
time:2.28
[-42,-77]
score:1
trace|run
result
time:2.18
ABORT
score:16
trace|run
[-42,-77]
score:1
trace|run
result
time:5.41
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:21.40
[-14,-40]
score:1
trace|run
result
time:7.84
[-14,-40]
score:1
trace|run
result
time:5.48
[-14,-40]
score:1
trace|run
result
time:28.41
[-18,-39]
score:5
trace|run
result
time:10.82
[-14,-40]
score:1
trace|run
result
time:8.83
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-27,-41]
score:6
trace|run
result
time:20.82
[-11,-36]
score:1
trace|run
result
time:7.68
[-11,-36]
score:1
trace|run
result
time:5.12
[-11,-36]
score:1
trace|run
result
time:31.01
[-15,-35]
score:5
trace|run
result
time:12.60
[-11,-36]
score:1
trace|run
result
time:8.40
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:18.66
[-17,-131]
score:1
trace|run
result
time:6.90
[-17,-131]
score:1
trace|run
result
time:10.75
[-17,-131]
score:1
trace|run
result
time:27.58
[-25,-151]
score:5
trace|run
result
time:33.23
[-17,-131]
score:1
trace|run
result
time:7.96
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-27,-41]
score:6
trace|run
result
time:21.03
[-11,-36]
score:1
trace|run
result
time:7.61
[-11,-36]
score:1
trace|run
result
time:5.10
[-11,-36]
score:1
trace|run
result
time:27.21
[-15,-35]
score:5
trace|run
result
time:12.60
[-11,-36]
score:1
trace|run
result
time:8.64
688250e8-4bb4-11df-a561-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-27,-41]
score:6
trace|run
result
time:21.04
[-11,-36]
score:1
trace|run
result
time:7.12
[-11,-36]
score:1
trace|run
result
time:5.17
[-11,-36]
score:1
trace|run
result
time:13.96
[-15,-35]
score:5
trace|run
result
time:12.44
[-11,-36]
score:1
trace|run
result
time:8.45
58a4a468-38a5-11df-a561-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:18.66
[-17,-131]
score:1
trace|run
result
time:6.90
[-17,-131]
score:1
trace|run
result
time:10.64
[-17,-131]
score:1
trace|run
result
time:27.43
[-25,-151]
score:5
trace|run
result
time:33.00
[-17,-131]
score:1
trace|run
result
time:8.33
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:17.56
[-11,-89]
score:1
trace|run
result
time:5.20
[-11,-89]
score:1
trace|run
result
time:7.74
[-11,-89]
score:1
trace|run
result
time:10.37
[-11,-89]
score:1
trace|run
result
time:10.25
[-11,-89]
score:1
trace|run
result
time:7.74
412959c6-e965-11de-8ebf-00163e6585dd.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-29,-43]
score:5
trace|run
result
time:8.46
[-14,-44]
score:1
trace|run
result
time:1.22
[-14,-44]
score:1
trace|run
result
time:1.25
[-14,-44]
score:1
trace|run
result
time:1.09
ABORT
score:16
trace|run
[-14,-44]
score:1
trace|run
result
time:4.99
3e4f8550-0b33-11df-942d-00163e1d94dc.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-21,-37]
score:6
trace|run
result
time:17.52
[-7,-35]
score:1
trace|run
result
time:7.15
[-7,-35]
score:1
trace|run
result
time:4.58
[-7,-35]
score:1
trace|run
result
time:8.22
[-7,-35]
score:1
trace|run
result
time:8.16
[-7,-35]
score:1
trace|run
result
time:7.48
2f690324-4939-11df-9e6e-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:23.67
[-14,-40]
score:1
trace|run
result
time:8.64
[-14,-40]
score:1
trace|run
result
time:5.39
[-14,-40]
score:1
trace|run
result
time:28.36
[-18,-39]
score:5
trace|run
result
time:10.95
[-14,-40]
score:1
trace|run
result
time:8.40
29180036-5408-11df-9f57-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-21,-35]
score:5
trace|run
result
time:6.99
[-15,-29]
score:1
trace|run
result
time:1.10
[-15,-29]
score:1
trace|run
result
time:1.20
[-15,-29]
score:1
trace|run
result
time:1.07
ABORT
score:16
trace|run
[-15,-29]
score:1
trace|run
result
time:4.89
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:21.05
[-14,-40]
score:1
trace|run
result
time:8.07
[-14,-40]
score:1
trace|run
result
time:5.46
[-14,-40]
score:1
trace|run
result
time:24.71
[-18,-39]
score:5
trace|run
result
time:10.74
[-14,-40]
score:1
trace|run
result
time:9.19
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-27,-41]
score:6
trace|run
result
time:21.18
[-11,-36]
score:1
trace|run
result
time:7.23
[-11,-36]
score:1
trace|run
result
time:5.22
[-11,-36]
score:1
trace|run
result
time:22.22
[-15,-35]
score:5
trace|run
result
time:12.36
[-11,-36]
score:1
trace|run
result
time:8.22
103c9978-5408-11df-9bc1-00163e7a6f5e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-21,-35]
score:5
trace|run
result
time:7.00
[-15,-29]
score:1
trace|run
result
time:1.06
[-15,-29]
score:1
trace|run
result
time:1.06
[-15,-29]
score:1
trace|run
result
time:1.06
ABORT
score:16
trace|run
[-15,-29]
score:1
trace|run
result
time:4.36

Category: difficult

Problemapt-get-paranoid-1.0apt-pbo-paranoid-1.0.6aptitude-paranoid-1.0aspcud-paranoid-1.3cudf2msu4paranoid-1.0cudf2pbo4paranoid-1.0gj-paranoid-solver-0.1p2cudf-paranoid-1.9
randf61f65.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:12.84
[-16,-294]
score:1
trace|run
result
time:1.44
[-16,-294]
score:1
trace|run
result
time:3.40
[-16,-294]
score:1
trace|run
result
time:2.72
[-20,-280]
score:5
trace|run
result
time:33.01
[-16,-294]
score:1
trace|run
result
time:6.34
randf406d5.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:12.91
FAIL
score:16
trace|run
time:1.39
FAIL
score:16
trace|run
time:0.96
FAIL
score:16
trace|run
time:0.93
FAIL
score:16
trace|run
time:2.90
FAIL
score:16
trace|run
time:5.66
randf17677.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:15.37
[-12,-207]
score:1
trace|run
result
time:1.38
[-12,-207]
score:1
trace|run
result
time:2.46
[-12,-207]
score:1
trace|run
result
time:1.87
[-15,-187]
score:5
trace|run
result
time:32.92
[-12,-207]
score:1
trace|run
result
time:6.73
rande4fcd8.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:19.10
[-16,-153]
score:1
trace|run
result
time:1.57
[-16,-153]
score:1
trace|run
result
time:2.38
[-16,-153]
score:1
trace|run
result
time:4.68
[-17,-166]
score:5
trace|run
result
time:32.97
[-16,-153]
score:1
trace|run
result
time:7.87
randd8bf6a.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:14.01
[-33,-109]
score:1
trace|run
result
time:1.33
[-33,-109]
score:1
trace|run
result
time:1.90
[-33,-109]
score:1
trace|run
result
time:1.48
[-34,-115]
score:5
trace|run
result
time:33.03
[-33,-109]
score:1
trace|run
result
time:4.68
randc10393.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:13.98
[-23,-268]
score:1
trace|run
result
time:1.43
[-23,-268]
score:1
trace|run
result
time:3.30
[-23,-268]
score:1
trace|run
result
time:1.93
[-26,-261]
score:5
trace|run
result
time:32.98
[-23,-268]
score:1
trace|run
result
time:6.24
randa870aa.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:15.53
[-29,-292]
score:1
trace|run
result
time:1.46
[-29,-292]
score:1
trace|run
result
time:3.40
[-29,-292]
score:1
trace|run
result
time:2.98
[-32,-290]
score:5
trace|run
result
time:32.85
[-29,-292]
score:1
trace|run
result
time:6.34
randa651ed.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:12.82
[-33,-175]
score:1
trace|run
result
time:1.33
[-33,-175]
score:1
trace|run
result
time:2.28
[-33,-175]
score:1
trace|run
result
time:1.98
[-33,-206]
score:5
trace|run
result
time:33.62
[-33,-175]
score:1
trace|run
result
time:6.14
randa45895.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:15.06
FAIL
score:16
trace|run
time:1.28
FAIL
score:16
trace|run
time:1.60
FAIL
score:16
trace|run
time:1.07
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:4.04
rand95e48b.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:13.62
[-28,-311]
score:1
trace|run
result
time:1.70
[-28,-311]
score:1
trace|run
result
time:3.76
[-28,-311]
score:1
trace|run
result
time:4.70
[-34,-280]
score:5
trace|run
result
time:32.95
[-28,-311]
score:1
trace|run
result
time:11.21
rand908403.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:25.86
[-30,-285]
score:1
trace|run
result
time:1.47
[-30,-285]
score:1
trace|run
result
time:3.92
[-30,-285]
score:1
trace|run
result
time:2.01
[-34,-253]
score:5
trace|run
result
time:32.95
[-30,-285]
score:1
trace|run
result
time:6.11
rand847939.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:37.82
[-42,-319]
score:1
trace|run
result
time:1.42
[-42,-319]
score:1
trace|run
result
time:3.78
[-42,-319]
score:1
trace|run
result
time:2.47
[-46,-324]
score:5
trace|run
result
time:32.95
[-42,-319]
score:1
trace|run
result
time:5.38
rand7b4167.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:16.28
[-42,-132]
score:1
trace|run
result
time:1.44
[-42,-132]
score:1
trace|run
result
time:2.06
[-42,-132]
score:1
trace|run
result
time:2.10
[-43,-135]
score:5
trace|run
result
time:32.97
[-42,-132]
score:1
trace|run
result
time:6.45
rand50a937.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:14.04
[-19,-364]
score:1
trace|run
result
time:1.46
[-19,-364]
score:1
trace|run
result
time:4.63
[-19,-364]
score:1
trace|run
result
time:3.18
[-20,-408]
score:5
trace|run
result
time:32.99
[-19,-364]
score:1
trace|run
result
time:7.53
rand4d6b1c.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:13.73
[-26,-175]
score:1
trace|run
result
time:1.64
[-26,-175]
score:1
trace|run
result
time:3.06
[-26,-175]
score:1
trace|run
result
time:3.67
[-30,-214]
score:5
trace|run
result
time:33.07
[-26,-175]
score:1
trace|run
result
time:5.53
rand49d73b.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:12.76
[-42,-230]
score:1
trace|run
result
time:2.01
[-42,-230]
score:1
trace|run
result
time:3.06
[-42,-230]
score:1
trace|run
result
time:9.28
[-44,-245]
score:5
trace|run
result
time:33.49
[-42,-230]
score:1
trace|run
result
time:11.15
rand394916.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:34.99
FAIL
score:16
trace|run
time:1.33
FAIL
score:16
trace|run
time:0.98
FAIL
score:16
trace|run
time:0.88
FAIL
score:16
trace|run
time:2.85
FAIL
score:16
trace|run
time:5.22
rand2fe899.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:46.28
[-95,-245]
score:1
trace|run
result
time:1.42
[-95,-245]
score:1
trace|run
result
time:3.66
[-95,-245]
score:1
trace|run
result
time:1.28
[-101,-242]
score:5
trace|run
result
time:32.95
[-95,-245]
score:1
trace|run
result
time:5.21
rand2d2fd0.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:14.19
[-19,-234]
score:1
trace|run
result
time:1.47
[-19,-234]
score:1
trace|run
result
time:3.06
[-19,-234]
score:1
trace|run
result
time:2.32
[-21,-284]
score:5
trace|run
result
time:32.98
[-19,-234]
score:1
trace|run
result
time:6.47
rand14ba69.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:12.86
[-19,-229]
score:1
trace|run
result
time:4.43
[-19,-229]
score:1
trace|run
result
time:3.01
[-19,-229]
score:1
trace|run
result
time:10.74
[-21,-227]
score:5
trace|run
result
time:32.95
[-19,-229]
score:1
trace|run
result
time:15.48
rand0aa5c1.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:12.73
[-45,-190]
score:1
trace|run
result
time:1.43
[-45,-190]
score:1
trace|run
result
time:2.78
[-45,-190]
score:1
trace|run
result
time:2.16
[-46,-191]
score:5
trace|run
result
time:32.97
[-45,-190]
score:1
trace|run
result
time:5.30
rand06f749.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:13.06
[-18,-222]
score:1
trace|run
result
time:1.35
[-18,-222]
score:1
trace|run
result
time:2.52
[-18,-222]
score:1
trace|run
result
time:1.61
[-20,-222]
score:5
trace|run
result
time:32.81
[-18,-222]
score:1
trace|run
result
time:5.07

Category: easy

Problemapt-get-paranoid-1.0apt-pbo-paranoid-1.0.6aptitude-paranoid-1.0aspcud-paranoid-1.3cudf2msu4paranoid-1.0cudf2pbo4paranoid-1.0gj-paranoid-solver-0.1p2cudf-paranoid-1.9
randf7a7e4.cudf[-404,-425]
score:6
trace|run
result
time:6.05
ABORT
score:16
trace|run
[-404,-425]
score:6
trace|run
result
time:10.64
[-403,-425]
score:1
trace|run
result
time:1.09
[-403,-425]
score:1
trace|run
result
time:5.56
[-403,-425]
score:1
trace|run
result
time:0.80
[-403,-426]
score:5
trace|run
result
time:2.10
[-403,-425]
score:1
trace|run
result
time:6.10
randeb343c.cudf[-54,-95]
score:1
trace|run
result
time:6.01
ABORT
score:16
trace|run
[-54,-95]
score:1
trace|run
result
time:7.07
[-54,-95]
score:1
trace|run
result
time:1.12
[-54,-95]
score:1
trace|run
result
time:1.57
[-54,-95]
score:1
trace|run
result
time:0.81
[-54,-95]
score:1
trace|run
result
time:2.13
[-54,-95]
score:1
trace|run
result
time:6.46
randea6106.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:7.89
[-61,-97]
score:1
trace|run
result
time:1.10
[-61,-97]
score:1
trace|run
result
time:1.62
[-61,-97]
score:1
trace|run
result
time:0.88
[-61,-97]
score:1
trace|run
result
time:2.08
[-61,-97]
score:1
trace|run
result
time:6.73
randc192b7.cudf[-87,-203]
score:6
trace|run
result
time:6.13
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:7.25
[-86,-192]
score:1
trace|run
result
time:1.11
[-86,-192]
score:1
trace|run
result
time:2.41
[-86,-192]
score:1
trace|run
result
time:0.87
[-86,-192]
score:1
trace|run
result
time:2.35
[-86,-192]
score:1
trace|run
result
time:4.96
randbe9acf.cudf[-79,-120]
score:6
trace|run
result
time:5.99
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:7.06
[-72,-110]
score:1
trace|run
result
time:1.11
[-72,-110]
score:1
trace|run
result
time:1.74
[-72,-110]
score:1
trace|run
result
time:0.92
[-72,-110]
score:1
trace|run
result
time:2.15
[-72,-110]
score:1
trace|run
result
time:4.50
randba6b5b.cudf[-55,-85]
score:6
trace|run
result
time:5.97
ABORT
score:16
trace|run
[-55,-85]
score:6
trace|run
result
time:7.19
[-50,-78]
score:1
trace|run
result
time:1.09
[-50,-78]
score:1
trace|run
result
time:1.42
[-50,-78]
score:1
trace|run
result
time:0.87
[-52,-78]
score:5
trace|run
result
time:2.12
[-50,-78]
score:1
trace|run
result
time:6.47
randadea40.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:7.08
[-95,-116]
score:1
trace|run
result
time:1.07
[-95,-116]
score:1
trace|run
result
time:1.89
[-95,-116]
score:1
trace|run
result
time:0.98
[-95,-116]
score:1
trace|run
result
time:2.12
[-95,-116]
score:1
trace|run
result
time:6.19
randaaa8ea.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:7.05
[-65,-82]
score:1
trace|run
result
time:1.06
[-65,-82]
score:1
trace|run
result
time:1.53
[-65,-82]
score:1
trace|run
result
time:0.90
[-65,-82]
score:1
trace|run
result
time:2.07
[-65,-82]
score:1
trace|run
result
time:6.17
randa9ba44.cudf[-35,-55]
score:1
trace|run
result
time:5.96
ABORT
score:16
trace|run
[-35,-55]
score:1
trace|run
result
time:7.02
[-35,-55]
score:1
trace|run
result
time:1.08
[-35,-55]
score:1
trace|run
result
time:1.21
[-35,-55]
score:1
trace|run
result
time:0.78
[-35,-55]
score:1
trace|run
result
time:2.03
[-35,-55]
score:1
trace|run
result
time:4.60
rand951a14.cudf[-97,-126]
score:6
trace|run
result
time:5.93
ABORT
score:16
trace|run
[-97,-126]
score:6
trace|run
result
time:7.09
[-96,-126]
score:1
trace|run
result
time:1.08
[-96,-126]
score:1
trace|run
result
time:1.92
[-96,-126]
score:1
trace|run
result
time:0.96
[-96,-127]
score:5
trace|run
result
time:2.12
[-96,-126]
score:1
trace|run
result
time:6.05
rand8d117b.cudf[-97,-157]
score:6
trace|run
result
time:5.96
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:7.14
[-96,-157]
score:1
trace|run
result
time:1.10
[-96,-157]
score:1
trace|run
result
time:2.16
[-96,-157]
score:1
trace|run
result
time:0.94
[-96,-158]
score:5
trace|run
result
time:2.41
[-96,-157]
score:1
trace|run
result
time:5.96
rand7fec8c.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:7.90
[-30,-69]
score:1
trace|run
result
time:1.09
[-30,-69]
score:1
trace|run
result
time:1.27
[-30,-69]
score:1
trace|run
result
time:0.81
[-30,-69]
score:1
trace|run
result
time:2.14
[-30,-69]
score:1
trace|run
result
time:5.70
rand6d933e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:7.91
[-58,-88]
score:1
trace|run
result
time:1.06
[-58,-88]
score:1
trace|run
result
time:1.52
[-58,-88]
score:1
trace|run
result
time:0.81
[-58,-88]
score:1
trace|run
result
time:2.09
[-58,-88]
score:1
trace|run
result
time:4.33
rand61b840.cudf[-142,-248]
score:6
trace|run
result
time:6.11
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:7.15
[-139,-247]
score:1
trace|run
result
time:1.14
[-139,-247]
score:1
trace|run
result
time:3.26
[-139,-247]
score:1
trace|run
result
time:0.90
[-139,-247]
score:1
trace|run
result
time:2.62
[-139,-247]
score:1
trace|run
result
time:4.58
rand5c1800.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:8.62
[-51,-70]
score:1
trace|run
result
time:1.10
[-51,-70]
score:1
trace|run
result
time:1.36
[-51,-70]
score:1
trace|run
result
time:0.80
[-52,-70]
score:5
trace|run
result
time:2.12
[-51,-70]
score:1
trace|run
result
time:5.28
rand5619c8.cudf[-62,-150]
score:6
trace|run
result
time:6.04
ABORT
score:16
trace|run
[-62,-150]
score:6
trace|run
result
time:7.15
[-58,-146]
score:1
trace|run
result
time:1.08
[-58,-146]
score:1
trace|run
result
time:1.92
[-58,-146]
score:1
trace|run
result
time:0.86
[-58,-146]
score:1
trace|run
result
time:2.20
[-58,-146]
score:1
trace|run
result
time:4.38
rand359ca0.cudf[-66,-99]
score:6
trace|run
result
time:5.96
ABORT
score:16
trace|run
[-66,-99]
score:6
trace|run
result
time:7.06
[-30,-65]
score:1
trace|run
result
time:1.08
[-30,-65]
score:1
trace|run
result
time:1.23
[-30,-65]
score:1
trace|run
result
time:0.83
[-31,-66]
score:5
trace|run
result
time:2.13
[-30,-65]
score:1
trace|run
result
time:5.99
rand2fb7ab.cudf[-127,-208]
score:6
trace|run
result
time:6.01
ABORT
score:16
trace|run
[-127,-208]
score:6
trace|run
result
time:7.25
[-117,-193]
score:1
trace|run
result
time:1.10
[-117,-193]
score:1
trace|run
result
time:2.48
[-117,-193]
score:1
trace|run
result
time:0.96
[-117,-193]
score:1
trace|run
result
time:12.50
[-117,-193]
score:1
trace|run
result
time:6.02
rand1bff33.cudf[-24,-40]
score:6
trace|run
result
time:6.02
ABORT
score:16
trace|run
[-24,-40]
score:6
trace|run
result
time:7.01
[-23,-40]
score:1
trace|run
result
time:1.12
[-23,-40]
score:1
trace|run
result
time:1.05
[-23,-40]
score:1
trace|run
result
time:0.91
[-23,-41]
score:5
trace|run
result
time:2.46
[-23,-40]
score:1
trace|run
result
time:4.66
rand13b58e.cudf[-192,-242]
score:6
trace|run
result
time:5.98
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:7.10
[-184,-238]
score:1
trace|run
result
time:1.10
[-184,-238]
score:1
trace|run
result
time:3.23
[-184,-238]
score:1
trace|run
result
time:0.79
[-184,-238]
score:1
trace|run
result
time:2.13
[-184,-238]
score:1
trace|run
result
time:5.42
rand08759d.cudf[-32,-120]
score:6
trace|run
result
time:6.15
ABORT
score:16
trace|run
[-32,-120]
score:6
trace|run
result
time:7.12
[-27,-109]
score:1
trace|run
result
time:1.08
[-27,-109]
score:1
trace|run
result
time:1.52
[-27,-109]
score:1
trace|run
result
time:0.80
[-27,-109]
score:1
trace|run
result
time:2.08
[-27,-109]
score:1
trace|run
result
time:5.73

Category: impossible

Problemapt-get-paranoid-1.0apt-pbo-paranoid-1.0.6aptitude-paranoid-1.0aspcud-paranoid-1.3cudf2msu4paranoid-1.0cudf2pbo4paranoid-1.0gj-paranoid-solver-0.1p2cudf-paranoid-1.9
randfa4522.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[0,0]
score:1
trace|run
result
time:3.96
[0,0]
score:1
trace|run
result
time:2.06
[0,0]
score:1
trace|run
result
time:2.54
ABORT
score:16
trace|run
[0,-1]
score:4
trace|run
result
time:5.99
randec88d5.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-79,-209]
score:1
trace|run
result
time:5.44
[-79,-209]
score:1
trace|run
result
time:13.02
[-79,-209]
score:1
trace|run
result
time:33.97
[-87,-220]
score:5
trace|run
result
time:48.54
[-79,-209]
score:1
trace|run
result
time:24.15
randaafcce.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-71,-160]
score:1
trace|run
result
time:4.46
[-71,-160]
score:1
trace|run
result
time:10.28
[-71,-160]
score:1
trace|run
result
time:8.14
[-75,-143]
score:5
trace|run
result
time:49.57
[-71,-160]
score:1
trace|run
result
time:8.30
randa223c3.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-38,-293]
score:1
trace|run
result
time:4.84
[-38,-293]
score:1
trace|run
result
time:15.66
[-38,-293]
score:1
trace|run
result
time:14.90
[-66,-304]
score:5
trace|run
result
time:56.41
[-38,-293]
score:1
trace|run
result
time:11.89
rand8cc693.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-64,-410]
score:1
trace|run
result
time:10.61
[-64,-410]
score:1
trace|run
result
time:247.96
[-64,-410]
score:1
trace|run
result
time:30.26
ABORT
score:16
trace|run
[-64,-410]
score:1
trace|run
result
time:33.59
rand878003.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-47,-318]
score:1
trace|run
result
time:5.03
[-47,-318]
score:1
trace|run
result
time:17.17
[-47,-318]
score:1
trace|run
result
time:12.56
[-55,-234]
score:5
trace|run
result
time:48.89
[-47,-318]
score:1
trace|run
result
time:13.91
rand835640.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-37,-114]
score:1
trace|run
result
time:4.42
[-37,-114]
score:1
trace|run
result
time:7.76
[-37,-114]
score:1
trace|run
result
time:8.34
[-37,-115]
score:5
trace|run
result
time:48.43
[-37,-114]
score:1
trace|run
result
time:7.76
rand81406f.cudf[-111,-548]
score:6
trace|run
result
time:25.44
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-16,-104]
score:1
trace|run
result
time:4.82
[-16,-104]
score:1
trace|run
result
time:6.82
[-16,-104]
score:1
trace|run
result
time:6.32
[-17,-107]
score:5
trace|run
result
time:49.42
[-16,-104]
score:1
trace|run
result
time:8.22
rand7902a8.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-27,-214]
score:1
trace|run
result
time:4.46
[-27,-214]
score:1
trace|run
result
time:12.36
[-27,-214]
score:1
trace|run
result
time:11.34
[-47,-223]
score:5
trace|run
result
time:49.00
[-27,-214]
score:1
trace|run
result
time:11.48
rand7141b1.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-46,-280]
score:1
trace|run
result
time:5.14
[-46,-280]
score:1
trace|run
result
time:16.48
[-46,-280]
score:1
trace|run
result
time:13.21
[-58,-246]
score:5
trace|run
result
time:51.97
[-46,-280]
score:1
trace|run
result
time:13.30
rand6b4d6e.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-34,-248]
score:1
trace|run
result
time:8.14
[-34,-248]
score:1
trace|run
result
time:13.10
[-34,-248]
score:1
trace|run
result
time:23.45
[-41,-181]
score:5
trace|run
result
time:47.90
[-34,-248]
score:1
trace|run
result
time:33.98
rand655e63.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-39,-158]
score:1
trace|run
result
time:4.94
[-39,-158]
score:1
trace|run
result
time:10.05
[-39,-158]
score:1
trace|run
result
time:13.67
[-44,-207]
score:5
trace|run
result
time:49.10
[-39,-158]
score:1
trace|run
result
time:11.27
rand3dec28.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-34,-194]
score:1
trace|run
result
time:4.74
[-34,-194]
score:1
trace|run
result
time:11.86
[-34,-194]
score:1
trace|run
result
time:13.54
[-36,-140]
score:5
trace|run
result
time:49.56
[-34,-194]
score:1
trace|run
result
time:11.30
rand332173.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-22,-231]
score:1
trace|run
result
time:5.50
[-22,-231]
score:1
trace|run
result
time:13.34
[-22,-231]
score:1
trace|run
result
time:14.71
[-28,-257]
score:5
trace|run
result
time:48.59
[-22,-231]
score:1
trace|run
result
time:15.38
rand0695fb.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:34.45
[-72,-180]
score:1
trace|run
result
time:4.24
[-72,-180]
score:1
trace|run
result
time:11.16
[-72,-180]
score:1
trace|run
result
time:9.56
[-80,-258]
score:5
trace|run
result
time:48.72
[-72,-180]
score:1
trace|run
result
time:8.61

Category: sarge-etch-lenny-squeeze-sid

Problemapt-get-paranoid-1.0apt-pbo-paranoid-1.0.6aptitude-paranoid-1.0aspcud-paranoid-1.3cudf2msu4paranoid-1.0cudf2pbo4paranoid-1.0gj-paranoid-solver-0.1p2cudf-paranoid-1.9
rand986.sarge-etch-lenny-squeeze-sid.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-19,-73]
score:1
trace|run
result
time:3.98
[-19,-73]
score:1
trace|run
result
time:5.05
[-19,-73]
score:1
trace|run
result
time:3.41
[-19,-73]
score:1
trace|run
result
time:34.98
[-19,-73]
score:1
trace|run
result
time:6.54
rand915.sarge-etch-lenny-squeeze-sid.cudf[-190,-727]
score:6
trace|run
result
time:17.59
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:55.90
[-47,-66]
score:1
trace|run
result
time:4.28
[-47,-66]
score:1
trace|run
result
time:5.47
[-47,-66]
score:1
trace|run
result
time:3.31
[-47,-66]
score:1
trace|run
result
time:5.68
[-47,-66]
score:1
trace|run
result
time:6.45
rand815.sarge-etch-lenny-squeeze-sid.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:88.33
[-74,-196]
score:1
trace|run
result
time:4.05
[-74,-196]
score:1
trace|run
result
time:11.82
[-74,-196]
score:1
trace|run
result
time:9.41
[-77,-128]
score:5
trace|run
result
time:35.49
[-74,-196]
score:1
trace|run
result
time:8.50
rand753.sarge-etch-lenny-squeeze-sid.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:32.59
[-98,-634]
score:1
trace|run
result
time:66.05
[-98,-634]
score:1
trace|run
result
time:30.17
[-98,-635]
score:4
trace|run
result
time:290.18
[-138,-207]
score:5
trace|run
result
time:35.39
[-98,-634]
score:1
trace|run
result
time:175.50
rand550.sarge-etch-lenny-squeeze-sid.cudf[-170,-641]
score:6
trace|run
result
time:17.64
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-37,-136]
score:1
trace|run
result
time:4.19
[-37,-136]
score:1
trace|run
result
time:8.36
[-37,-136]
score:1
trace|run
result
time:5.15
[-50,-78]
score:5
trace|run
result
time:35.12
[-37,-136]
score:1
trace|run
result
time:6.96
rand494.sarge-etch-lenny-squeeze-sid.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:214.93
[-65,-152]
score:1
trace|run
result
time:4.16
[-65,-152]
score:1
trace|run
result
time:9.49
[-65,-152]
score:1
trace|run
result
time:5.35
[-65,-155]
score:5
trace|run
result
time:35.55
[-65,-152]
score:1
trace|run
result
time:7.02
rand316.sarge-etch-lenny-squeeze-sid.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:99.51
[-38,-157]
score:1
trace|run
result
time:4.18
NOTSOL
score:24
trace|run
result
time:290.05
[-38,-157]
score:1
trace|run
result
time:5.34
[-38,-164]
score:4
trace|run
result
time:35.57
[-38,-157]
score:1
trace|run
result
time:7.55
rand180.sarge-etch-lenny-squeeze-sid.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-54,-92]
score:1
trace|run
result
time:4.17
[-54,-92]
score:1
trace|run
result
time:6.60
[-54,-92]
score:1
trace|run
result
time:3.76
[-54,-94]
score:5
trace|run
result
time:35.45
[-54,-92]
score:1
trace|run
result
time:6.73
rand165.sarge-etch-lenny-squeeze-sid.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:122.26
FAIL
score:16
trace|run
time:290.03
NOTSOL
score:24
trace|run
result
time:290.07
[-162,-987]
score:1
trace|run
result
time:290.14
[-253,-294]
score:3
trace|run
result
time:35.38
[-162,-992]
score:2
trace|run
result
time:290.07
rand108.sarge-etch-lenny-squeeze-sid.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:72.59
[-30,-55]
score:1
trace|run
result
time:4.36
[-30,-55]
score:1
trace|run
result
time:4.68
[-30,-55]
score:1
trace|run
result
time:2.80
[-30,-55]
score:1
trace|run
result
time:6.10
[-30,-55]
score:1
trace|run
result
time:7.08

Category: sarge-etch-lenny-squeeze

Problemapt-get-paranoid-1.0apt-pbo-paranoid-1.0.6aptitude-paranoid-1.0aspcud-paranoid-1.3cudf2msu4paranoid-1.0cudf2pbo4paranoid-1.0gj-paranoid-solver-0.1p2cudf-paranoid-1.9
rand986.sarge-etch-lenny-squeeze.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-19,-73]
score:1
trace|run
result
time:3.76
[-19,-73]
score:1
trace|run
result
time:4.85
[-19,-73]
score:1
trace|run
result
time:3.28
[-19,-73]
score:1
trace|run
result
time:34.78
[-19,-73]
score:1
trace|run
result
time:6.20
rand915.sarge-etch-lenny-squeeze.cudf[-198,-694]
score:6
trace|run
result
time:16.97
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:88.47
[-47,-66]
score:1
trace|run
result
time:3.40
[-47,-66]
score:1
trace|run
result
time:5.18
[-47,-66]
score:1
trace|run
result
time:3.32
[-47,-66]
score:1
trace|run
result
time:5.47
[-47,-66]
score:1
trace|run
result
time:7.30
rand815.sarge-etch-lenny-squeeze.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-74,-196]
score:1
trace|run
result
time:3.80
[-74,-196]
score:1
trace|run
result
time:11.07
[-74,-196]
score:1
trace|run
result
time:5.23
[-77,-128]
score:5
trace|run
result
time:35.29
[-74,-196]
score:1
trace|run
result
time:7.08
rand753.sarge-etch-lenny-squeeze.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:47.25
[-100,-569]
score:1
trace|run
result
time:5.63
[-100,-569]
score:1
trace|run
result
time:24.60
[-100,-569]
score:1
trace|run
result
time:9.56
[-138,-207]
score:5
trace|run
result
time:35.32
[-100,-569]
score:1
trace|run
result
time:8.74
rand550.sarge-etch-lenny-squeeze.cudf[-177,-637]
score:6
trace|run
result
time:16.93
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-37,-136]
score:1
trace|run
result
time:3.88
[-37,-136]
score:1
trace|run
result
time:7.73
[-37,-136]
score:1
trace|run
result
time:6.86
[-50,-78]
score:5
trace|run
result
time:34.79
[-37,-136]
score:1
trace|run
result
time:6.48
rand494.sarge-etch-lenny-squeeze.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-65,-152]
score:1
trace|run
result
time:3.98
[-65,-152]
score:1
trace|run
result
time:8.82
[-65,-152]
score:1
trace|run
result
time:4.76
[-65,-155]
score:5
trace|run
result
time:34.81
[-65,-152]
score:1
trace|run
result
time:6.92
rand316.sarge-etch-lenny-squeeze.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:96.69
[-38,-157]
score:1
trace|run
result
time:3.85
[-38,-157]
score:1
trace|run
result
time:95.39
[-38,-157]
score:1
trace|run
result
time:5.99
[-38,-161]
score:5
trace|run
result
time:36.03
[-38,-157]
score:1
trace|run
result
time:6.89
rand180.sarge-etch-lenny-squeeze.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-54,-92]
score:1
trace|run
result
time:3.90
[-54,-92]
score:1
trace|run
result
time:6.36
[-54,-92]
score:1
trace|run
result
time:3.32
[-54,-94]
score:5
trace|run
result
time:34.69
[-54,-92]
score:1
trace|run
result
time:6.00
rand165.sarge-etch-lenny-squeeze.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
FAIL
score:16
trace|run
time:290.09
[-164,-987]
score:1
trace|run
result
time:47.90
[-164,-989]
score:2
trace|run
result
time:290.08
[-253,-294]
score:3
trace|run
result
time:34.85
ABORT
score:16
trace|run
rand108.sarge-etch-lenny-squeeze.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-30,-55]
score:1
trace|run
result
time:4.12
[-30,-55]
score:1
trace|run
result
time:4.48
[-30,-55]
score:1
trace|run
result
time:2.38
[-30,-55]
score:1
trace|run
result
time:5.50
[-30,-55]
score:1
trace|run
result
time:7.36

Category: sarge-etch-lenny

Problemapt-get-paranoid-1.0apt-pbo-paranoid-1.0.6aptitude-paranoid-1.0aspcud-paranoid-1.3cudf2msu4paranoid-1.0cudf2pbo4paranoid-1.0gj-paranoid-solver-0.1p2cudf-paranoid-1.9
rand986.sarge-etch-lenny.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-23,-76]
score:1
trace|run
result
time:2.72
[-23,-76]
score:1
trace|run
result
time:3.45
[-23,-76]
score:1
trace|run
result
time:1.94
[-23,-76]
score:1
trace|run
result
time:3.53
[-23,-76]
score:1
trace|run
result
time:5.08
rand915.sarge-etch-lenny.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:19.12
[-47,-66]
score:1
trace|run
result
time:2.58
[-47,-66]
score:1
trace|run
result
time:3.59
[-47,-66]
score:1
trace|run
result
time:1.77
[-47,-66]
score:1
trace|run
result
time:3.42
[-47,-66]
score:1
trace|run
result
time:4.98
rand815.sarge-etch-lenny.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:17.75
[-78,-121]
score:1
trace|run
result
time:2.83
[-78,-121]
score:1
trace|run
result
time:5.69
[-78,-121]
score:1
trace|run
result
time:1.55
[-78,-130]
score:5
trace|run
result
time:33.32
[-78,-121]
score:1
trace|run
result
time:5.48
rand753.sarge-etch-lenny.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:14.51
[-117,-369]
score:1
trace|run
result
time:3.50
[-117,-369]
score:1
trace|run
result
time:12.37
[-117,-369]
score:1
trace|run
result
time:5.42
[-124,-243]
score:5
trace|run
result
time:33.17
[-117,-369]
score:1
trace|run
result
time:8.65
rand550.sarge-etch-lenny.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-37,-136]
score:1
trace|run
result
time:2.36
[-37,-136]
score:1
trace|run
result
time:5.23
[-37,-136]
score:1
trace|run
result
time:2.59
[-43,-87]
score:5
trace|run
result
time:32.99
[-37,-136]
score:1
trace|run
result
time:5.45
rand494.sarge-etch-lenny.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:41.66
[-67,-94]
score:1
trace|run
result
time:2.38
[-67,-94]
score:1
trace|run
result
time:4.88
[-67,-94]
score:1
trace|run
result
time:1.49
[-67,-94]
score:1
trace|run
result
time:3.39
[-67,-94]
score:1
trace|run
result
time:5.30
rand316.sarge-etch-lenny.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:28.33
[-41,-158]
score:1
trace|run
result
time:2.39
[-41,-158]
score:1
trace|run
result
time:6.14
[-41,-158]
score:1
trace|run
result
time:3.25
[-41,-159]
score:5
trace|run
result
time:33.31
[-41,-158]
score:1
trace|run
result
time:6.20
rand180.sarge-etch-lenny.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-55,-80]
score:1
trace|run
result
time:2.29
[-55,-80]
score:1
trace|run
result
time:4.16
[-55,-80]
score:1
trace|run
result
time:1.67
[-55,-93]
score:5
trace|run
result
time:33.35
[-55,-80]
score:1
trace|run
result
time:5.30
rand165.sarge-etch-lenny.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-254,-289]
score:1
trace|run
result
time:3.00
[-254,-289]
score:1
trace|run
result
time:12.42
[-254,-289]
score:1
trace|run
result
time:2.26
[-254,-290]
score:5
trace|run
result
time:33.20
[-254,-289]
score:1
trace|run
result
time:5.46
rand108.sarge-etch-lenny.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
ABORT
score:16
trace|run
[-30,-55]
score:1
trace|run
result
time:2.13
[-30,-55]
score:1
trace|run
result
time:3.01
[-30,-55]
score:1
trace|run
result
time:1.68
[-30,-55]
score:1
trace|run
result
time:3.30
[-30,-55]
score:1
trace|run
result
time:5.66

Category: sarge-etch

Problemapt-get-paranoid-1.0apt-pbo-paranoid-1.0.6aptitude-paranoid-1.0aspcud-paranoid-1.3cudf2msu4paranoid-1.0cudf2pbo4paranoid-1.0gj-paranoid-solver-0.1p2cudf-paranoid-1.9
rand986.sarge-etch.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:14.90
[-31,-81]
score:1
trace|run
result
time:1.30
[-31,-81]
score:1
trace|run
result
time:2.01
[-31,-81]
score:1
trace|run
result
time:0.94
[-31,-81]
score:1
trace|run
result
time:2.10
[-31,-81]
score:1
trace|run
result
time:4.54
rand915.sarge-etch.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:11.52
[-47,-66]
score:1
trace|run
result
time:1.37
[-47,-66]
score:1
trace|run
result
time:1.99
[-47,-66]
score:1
trace|run
result
time:0.83
[-47,-66]
score:1
trace|run
result
time:2.16
[-47,-66]
score:1
trace|run
result
time:5.98
rand815.sarge-etch.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:11.18
[-80,-128]
score:1
trace|run
result
time:1.28
[-80,-128]
score:1
trace|run
result
time:3.25
[-80,-128]
score:1
trace|run
result
time:0.95
[-80,-129]
score:5
trace|run
result
time:7.41
[-80,-128]
score:1
trace|run
result
time:4.60
rand753.sarge-etch.cudf[-164,-347]
score:6
trace|run
result
time:5.99
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:8.18
[-131,-190]
score:1
trace|run
result
time:1.30
[-131,-190]
score:1
trace|run
result
time:4.18
[-131,-190]
score:1
trace|run
result
time:1.65
[-131,-190]
score:1
trace|run
result
time:2.39
[-131,-190]
score:1
trace|run
result
time:5.47
rand550.sarge-etch.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:11.92
[-43,-87]
score:1
trace|run
result
time:1.25
[-43,-87]
score:1
trace|run
result
time:2.13
[-43,-87]
score:1
trace|run
result
time:1.01
[-43,-87]
score:1
trace|run
result
time:4.14
[-43,-87]
score:1
trace|run
result
time:4.12
rand494.sarge-etch.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:10.27
[-67,-94]
score:1
trace|run
result
time:1.27
[-67,-94]
score:1
trace|run
result
time:2.58
[-67,-94]
score:1
trace|run
result
time:1.03
[-67,-94]
score:1
trace|run
result
time:2.18
[-67,-94]
score:1
trace|run
result
time:5.87
rand316.sarge-etch.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:11.42
[-42,-73]
score:1
trace|run
result
time:1.30
[-42,-73]
score:1
trace|run
result
time:2.09
[-42,-73]
score:1
trace|run
result
time:1.12
[-42,-74]
score:5
trace|run
result
time:2.32
[-42,-73]
score:1
trace|run
result
time:4.93
rand180.sarge-etch.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:15.21
[-55,-80]
score:1
trace|run
result
time:1.27
[-55,-80]
score:1
trace|run
result
time:2.23
[-55,-80]
score:1
trace|run
result
time:0.90
[-55,-80]
score:1
trace|run
result
time:2.25
[-55,-80]
score:1
trace|run
result
time:5.82
rand165.sarge-etch.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:9.85
[-254,-289]
score:1
trace|run
result
time:1.25
[-254,-289]
score:1
trace|run
result
time:6.82
[-254,-289]
score:1
trace|run
result
time:0.97
[-254,-290]
score:5
trace|run
result
time:3.57
[-254,-289]
score:1
trace|run
result
time:4.28
rand108.sarge-etch.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:11.70
[-30,-55]
score:1
trace|run
result
time:1.27
[-30,-55]
score:1
trace|run
result
time:1.66
[-30,-55]
score:1
trace|run
result
time:1.06
[-30,-55]
score:1
trace|run
result
time:2.26
[-30,-55]
score:1
trace|run
result
time:4.26

Category: sarge

Problemapt-get-paranoid-1.0apt-pbo-paranoid-1.0.6aptitude-paranoid-1.0aspcud-paranoid-1.3cudf2msu4paranoid-1.0cudf2pbo4paranoid-1.0gj-paranoid-solver-0.1p2cudf-paranoid-1.9
rand986.sarge.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-447,-474]
score:6
trace|run
result
time:3.87
[-36,-68]
score:1
trace|run
result
time:0.55
[-36,-68]
score:1
trace|run
result
time:0.60
[-36,-68]
score:1
trace|run
result
time:0.40
[-36,-68]
score:1
trace|run
result
time:1.08
[-36,-68]
score:1
trace|run
result
time:5.26
rand915.sarge.cudf[-48,-66]
score:1
trace|run
result
time:2.64
ABORT
score:16
trace|run
[-48,-66]
score:1
trace|run
result
time:3.14
[-48,-66]
score:1
trace|run
result
time:0.53
[-48,-66]
score:1
trace|run
result
time:0.61
[-48,-66]
score:1
trace|run
result
time:0.39
[-48,-66]
score:1
trace|run
result
time:1.13
[-48,-66]
score:1
trace|run
result
time:5.24
rand815.sarge.cudf[-82,-117]
score:1
trace|run
result
time:2.67
ABORT
score:16
trace|run
[-82,-117]
score:1
trace|run
result
time:3.21
[-82,-117]
score:1
trace|run
result
time:0.55
[-82,-117]
score:1
trace|run
result
time:0.87
[-82,-117]
score:1
trace|run
result
time:0.41
[-82,-118]
score:7
trace|run
result
time:1.14
[-82,-117]
score:1
trace|run
result
time:3.95
rand753.sarge.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
[-464,-474]
score:6
trace|run
result
time:3.62
[-147,-161]
score:1
trace|run
result
time:0.54
[-147,-161]
score:1
trace|run
result
time:1.18
[-147,-161]
score:1
trace|run
result
time:0.43
[-147,-161]
score:1
trace|run
result
time:1.07
[-147,-161]
score:1
trace|run
result
time:4.50
rand550.sarge.cudf[-50,-89]
score:1
trace|run
result
time:2.62
ABORT
score:16
trace|run
[-50,-89]
score:1
trace|run
result
time:3.16
[-50,-89]
score:1
trace|run
result
time:0.54
[-50,-89]
score:1
trace|run
result
time:0.68
[-50,-89]
score:1
trace|run
result
time:0.39
[-50,-89]
score:1
trace|run
result
time:1.15
[-50,-89]
score:1
trace|run
result
time:3.84
rand494.sarge.cudf[-70,-95]
score:6
trace|run
result
time:2.62
ABORT
score:16
trace|run
[-70,-95]
score:6
trace|run
result
time:3.18
[-68,-94]
score:1
trace|run
result
time:0.54
[-68,-94]
score:1
trace|run
result
time:0.74
[-68,-94]
score:1
trace|run
result
time:0.36
[-68,-94]
score:1
trace|run
result
time:1.13
[-68,-94]
score:1
trace|run
result
time:4.66
rand316.sarge.cudfABORT
score:16
trace|run
ABORT
score:16
trace|run
NOTSOL
score:24
trace|run
result
time:3.86
[-42,-73]
score:1
trace|run
result
time:0.55
[-42,-73]
score:1
trace|run
result
time:0.65
[-42,-73]
score:1
trace|run
result
time:0.41
[-42,-74]
score:5
trace|run
result
time:1.08
[-42,-73]
score:1
trace|run
result
time:5.91
rand180.sarge.cudf[-55,-80]
score:1
trace|run
result
time:2.65
ABORT
score:16
trace|run
[-55,-80]
score:1
trace|run
result
time:3.18
[-55,-80]
score:1
trace|run
result
time:0.56
[-55,-80]
score:1
trace|run
result
time:0.68
[-55,-80]
score:1
trace|run
result
time:0.38
[-55,-81]
score:7
trace|run
result
time:1.05
[-55,-80]
score:1
trace|run
result
time:3.70
rand165.sarge.cudf[-255,-304]
score:6
trace|run
result
time:2.62
ABORT
score:16
trace|run
[-255,-304]
score:6
trace|run
result
time:3.37
[-254,-290]
score:1
trace|run
result
time:0.55
[-254,-290]
score:1
trace|run
result
time:1.86
[-254,-290]
score:1
trace|run
result
time:0.35
[-254,-291]
score:5
trace|run
result
time:1.08
[-254,-290]
score:1
trace|run
result
time:5.64
rand108.sarge.cudf[-44,-64]
score:6
trace|run
result
time:2.63
ABORT
score:16
trace|run
[-44,-64]
score:6
trace|run
result
time:3.20
[-30,-55]
score:1
trace|run
result
time:0.53
[-30,-55]
score:1
trace|run
result
time:0.54
[-30,-55]
score:1
trace|run
result
time:0.36
[-30,-55]
score:1
trace|run
result
time:1.14
[-30,-55]
score:1
trace|run
result
time:4.72