Benchmark

LabelMeaning
SSolution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A}
OBest solution found
TCPU time (TO for Time Out)
(out)(err)Standard output and standard error for each solver

ColorMeaning for Complete SolversMeaning for Incomplete Solvers
TextBest solver columnBest solver column
TextOptimal solution with the best CPU timeBest solution with the best CPU time
TextOptimal solution and finished within the Time OutBest solution without the best CPU time
TextOptimal solution and did not finish within the Time OutSolution found but not the best
TextTime OutTime Out
TextBuggy solutionBuggy solution

Instance file name Best solver CCEHC CCLS2015 CnC ILP-2015-in Swcca_ms WPM3-2015-in optiriss-def-i optiriss-sel-i
s2v120c1200-1.cnf O = 161
T = 1.13
O = 161
T = 2.43
O = 161
T = 2.80
O = 172
T = 248.62
O = N/A
T = TO
O = 161
T = 1.13
O = N/A
T = TO
O = 252
T = 0.46
O = 316
T = 0.45
s2v120c1200-2.cnf O = 159
T = 2.41
O = 159
T = 2.61
O = 159
T = 2.53
O = 177
T = 224.92
O = N/A
T = TO
O = 159
T = 2.41
O = 246
T = 284.55
O = 246
T = 0.42
O = 322
T = 0.54
s2v120c1200-3.cnf O = 160
T = 1.04
O = 160
T = 2.01
O = 160
T = 1.04
O = 188
T = 162.06
O = N/A
T = TO
O = 160
T = 3.34
O = 265
T = 284.35
O = N/A
T = TO
O = 296
T = 0.51
s2v120c1300-1.cnf O = 180
T = 2.13
O = 180
T = 2.37
O = 180
T = 3.45
O = 203
T = 263.59
O = N/A
T = TO
O = 180
T = 2.13
O = 243
T = 284.34
O = 243
T = 0.44
O = 339
T = 0.69
s2v120c1300-2.cnf O = 172
T = 2.27
O = 172
T = 2.50
O = 172
T = 3.17
O = 185
T = 55.92
O = N/A
T = TO
O = 172
T = 2.27
O = 268
T = 284.46
O = N/A
T = TO
O = 357
T = 0.49
s2v120c1300-3.cnf O = 173
T = 2.20
O = 173
T = 2.20
O = 173
T = 2.73
O = 193
T = 142.90
O = N/A
T = TO
O = 173
T = 2.52
O = 262
T = 284.60
O = 262
T = 0.57
O = 333
T = 0.63
s2v120c1400-1.cnf O = 197
T = 2.07
O = 197
T = 2.30
O = 197
T = 3.77
O = 225
T = 61.75
O = N/A
T = TO
O = 197
T = 2.07
O = 291
T = 284.49
O = 291
T = 0.65
O = 361
T = 0.54
s2v120c1400-2.cnf O = 191
T = 1.36
O = 191
T = 1.36
O = 191
T = 3.76
O = 214
T = 185.87
O = N/A
T = TO
O = 191
T = 2.25
O = 335
T = 284.50
O = N/A
T = TO
O = 380
T = 0.48
s2v120c1400-3.cnf O = 189
T = 2.10
O = 189
T = 2.10
O = 189
T = 2.48
O = 214
T = 18.92
O = N/A
T = TO
O = 189
T = 2.69
O = 292
T = 284.53
O = N/A
T = TO
O = 354
T = 0.59
s2v120c1500-1.cnf O = 211
T = 2.10
O = 211
T = 2.10
O = 211
T = 3.01
O = 236
T = 160.27
O = N/A
T = TO
O = 211
T = 3.64
O = 316
T = 284.60
O = 316
T = 0.51
O = 396
T = 0.65
s2v120c1500-2.cnf O = 213
T = 1.32
O = 213
T = 1.32
O = 213
T = 2.94
O = 234
T = 169.58
O = N/A
T = TO
O = 213
T = 1.46
O = 347
T = 284.44
O = N/A
T = TO
O = 406
T = 0.70
s2v120c1500-3.cnf O = 207
T = 2.43
O = 207
T = 2.80
O = 207
T = 2.43
O = 231
T = 257.72
O = N/A
T = TO
O = 207
T = 2.53
O = 335
T = 284.41
O = 335
T = 0.38
O = 376
T = 0.69
s2v120c1600-1.cnf O = 233
T = 2.75
O = 233
T = 2.75
O = 233
T = 3.03
O = 261
T = 52.41
O = N/A
T = TO
O = 233
T = 2.88
O = 347
T = 284.68
O = N/A
T = TO
O = 422
T = 0.67
s2v120c1600-2.cnf O = 239
T = 2.18
O = 239
T = 3.20
O = 239
T = 2.38
O = 265
T = 3.17
O = N/A
T = TO
O = 239
T = 2.18
O = 349
T = 284.30
O = 349
T = 0.61
O = 423
T = 0.63
s2v120c1600-3.cnf O = 233
T = 2.88
O = 233
T = 2.99
O = 233
T = 2.88
O = 252
T = 283.23
O = N/A
T = TO
O = 233
T = 2.95
O = 341
T = 284.59
O = 341
T = 0.50
O = 391
T = 0.70
s2v120c1700-1.cnf O = 257
T = 2.49
O = 257
T = 2.49
O = 257
T = 4.02
O = 289
T = 209.06
O = N/A
T = TO
O = 257
T = 3.12
O = 345
T = 284.24
O = N/A
T = TO
O = 440
T = 0.69
s2v120c1700-2.cnf O = 248
T = 1.97
O = 248
T = 2.60
O = 248
T = 3.40
O = 271
T = 227.79
O = N/A
T = TO
O = 248
T = 1.97
O = 359
T = 284.64
O = 359
T = 0.42
O = 416
T = 0.72
s2v120c1700-3.cnf O = 239
T = 2.38
O = 239
T = 3.03
O = 239
T = 3.00
O = 270
T = 251.08
O = N/A
T = TO
O = 239
T = 2.38
O = 356
T = 284.28
O = N/A
T = TO
O = 449
T = 0.63
s2v120c1800-1.cnf O = 291
T = 2.72
O = 291
T = 2.72
O = 291
T = 3.10
O = 319
T = 286.15
O = N/A
T = TO
O = 291
T = 2.85
O = 401
T = 284.47
O = N/A
T = TO
O = 414
T = 0.62
s2v120c1800-2.cnf O = 262
T = 2.52
O = 262
T = 2.54
O = 262
T = 3.35
O = 298
T = 237.97
O = N/A
T = TO
O = 262
T = 2.52
O = 370
T = 284.36
O = N/A
T = TO
O = 492
T = 0.56
s2v120c1800-3.cnf O = 279
T = 3.04
O = 279
T = 3.61
O = 279
T = 3.74
O = 311
T = 18.64
O = N/A
T = TO
O = 279
T = 3.04
O = 418
T = 284.42
O = N/A
T = TO
O = 452
T = 0.69
s2v120c1900-1.cnf O = 293
T = 2.69
O = 293
T = 2.69
O = 293
T = 2.86
O = 325
T = 240.73
O = N/A
T = TO
O = 293
T = 2.96
O = 404
T = 284.62
O = 404
T = 0.69
O = 477
T = 0.64
s2v120c1900-2.cnf O = 296
T = 2.95
O = 296
T = 3.49
O = 296
T = 3.89
O = 326
T = 66.88
O = N/A
T = TO
O = 296
T = 2.95
O = 388
T = 284.55
O = 388
T = 0.52
O = 504
T = 0.68
s2v120c1900-3.cnf O = 294
T = 1.81
O = 294
T = 3.28
O = 294
T = 3.30
O = 321
T = 196.13
O = N/A
T = TO
O = 294
T = 1.81
O = 403
T = 284.66
O = 403
T = 0.65
O = 465
T = 0.77
s2v120c2000-1.cnf O = 307
T = 1.59
O = 307
T = 4.20
O = 307
T = 3.79
O = 335
T = 273.33
O = N/A
T = TO
O = 307
T = 1.59
O = 476
T = 284.44
O = 476
T = 0.73
O = 448
T = 0.58
s2v120c2000-2.cnf O = 321
T = 2.91
O = 321
T = 2.91
O = 321
T = 2.99
O = 355
T = 71.97
O = N/A
T = TO
O = 321
T = 3.00
O = 498
T = 284.49
O = 498
T = 0.47
O = 503
T = 0.64
s2v120c2000-3.cnf O = 307
T = 2.57
O = 307
T = 2.57
O = 307
T = 3.43
O = 344
T = 38.07
O = N/A
T = TO
O = 307
T = 2.84
O = 420
T = 284.51
O = N/A
T = TO
O = 508
T = 0.81
s2v120c2100-1.cnf O = 336
T = 3.04
O = 336
T = 3.51
O = 336
T = 3.04
O = 364
T = 96.42
O = N/A
T = TO
O = 336
T = 3.05
O = 494
T = 284.59
O = 494
T = 0.61
O = 487
T = 0.90
s2v120c2100-2.cnf O = 336
T = 2.54
O = 336
T = 2.54
O = 336
T = 2.75
O = 375
T = 82.16
O = N/A
T = TO
O = 336
T = 2.83
O = N/A
T = TO
O = 449
T = 0.50
O = 521
T = 0.82
s2v120c2100-3.cnf O = 332
T = 1.51
O = 332
T = 2.63
O = 332
T = 1.51
O = 364
T = 132.80
O = N/A
T = TO
O = 332
T = 2.16
O = 430
T = 284.73
O = N/A
T = TO
O = 550
T = 0.85
s2v120c2200-1.cnf O = 358
T = 2.33
O = 358
T = 2.47
O = 358
T = 2.80
O = 393
T = 98.64
O = N/A
T = TO
O = 358
T = 2.33
O = 496
T = 284.72
O = 496
T = 0.43
O = 512
T = 0.19
s2v120c2200-2.cnf O = 371
T = 2.29
O = 371
T = 3.77
O = 371
T = 2.67
O = 405
T = 132.34
O = N/A
T = TO
O = 371
T = 2.29
O = 522
T = 284.69
O = 522
T = 0.50
O = 538
T = 0.61
s2v120c2200-3.cnf O = 359
T = 1.69
O = 359
T = 2.51
O = 359
T = 3.97
O = 408
T = 152.33
O = N/A
T = TO
O = 359
T = 1.69
O = 475
T = 284.46
O = 475
T = 0.44
O = 539
T = 0.72
s2v120c2300-1.cnf O = 380
T = 1.87
O = 380
T = 2.24
O = 380
T = 2.81
O = 407
T = 17.70
O = N/A
T = TO
O = 380
T = 1.87
O = 497
T = 284.45
O = N/A
T = TO
O = 584
T = 0.05
s2v120c2300-2.cnf O = 383
T = 2.07
O = 383
T = 2.77
O = 383
T = 2.61
O = 411
T = 54.73
O = N/A
T = TO
O = 383
T = 2.07
O = N/A
T = TO
O = N/A
T = TO
O = 553
T = 0.06
s2v120c2300-3.cnf O = 365
T = 1.94
O = 365
T = 3.94
O = 365
T = 3.69
O = 402
T = 253.95
O = N/A
T = TO
O = 365
T = 1.94
O = 508
T = 284.40
O = 508
T = 0.65
O = 541
T = 0.12
s2v120c2400-1.cnf O = 389
T = 3.12
O = 389
T = 3.44
O = 389
T = 3.38
O = 420
T = 12.84
O = N/A
T = TO
O = 389
T = 3.12
O = 555
T = 284.56
O = 555
T = 0.60
O = 565
T = 0.05
s2v120c2400-2.cnf O = 402
T = 1.14
O = 402
T = 3.16
O = 402
T = 1.14
O = 442
T = 17.62
O = N/A
T = TO
O = 402
T = 2.90
O = 518
T = 284.37
O = N/A
T = TO
O = 604
T = 0.03
s2v120c2400-3.cnf O = 380
T = 2.72
O = 380
T = 2.72
O = 380
T = 3.22
O = 420
T = 212.77
O = N/A
T = TO
O = 380
T = 2.79
O = 549
T = 284.50
O = N/A
T = TO
O = 627
T = 0.06
s2v120c2500-1.cnf O = 418
T = 1.42
O = 418
T = 3.67
O = 418
T = 1.42
O = 457
T = 114.19
O = N/A
T = TO
O = 418
T = 2.35
O = 546
T = 284.51
O = 546
T = 0.68
O = 598
T = 0.04
s2v120c2500-2.cnf O = 435
T = 2.08
O = 435
T = 3.22
O = 435
T = 2.08
O = 493
T = 24.80
O = N/A
T = TO
O = 435
T = 3.11
O = 607
T = 284.42
O = N/A
T = TO
O = 636
T = 0.03
s2v120c2500-3.cnf O = 425
T = 2.83
O = 425
T = 3.35
O = 425
T = 3.01
O = 468
T = 57.09
O = N/A
T = TO
O = 425
T = 2.83
O = 572
T = 284.66
O = N/A
T = TO
O = 617
T = 0.04
s2v120c2600-1.cnf O = 439
T = 2.55
O = 439
T = 3.77
O = 439
T = 3.78
O = 481
T = 1.73
O = N/A
T = TO
O = 439
T = 2.55
O = 594
T = 284.44
O = N/A
T = TO
O = 640
T = 0.04
s2v120c2600-2.cnf O = 458
T = 2.70
O = 458
T = 3.24
O = 458
T = 3.50
O = 506
T = 142.75
O = N/A
T = TO
O = 458
T = 2.70
O = 625
T = 284.49
O = 625
T = 0.59
O = 658
T = 0.04
s2v120c2600-3.cnf O = 440
T = 2.96
O = 440
T = 3.48
O = 440
T = 2.96
O = 484
T = 23.12
O = N/A
T = TO
O = 440
T = 3.66
O = N/A
T = TO
O = N/A
T = TO
O = 658
T = 0.04
s2v140c1200-1.cnf O = 144
T = 2.75
O = 144
T = 3.53
O = 144
T = 3.21
O = 162
T = 89.65
O = N/A
T = TO
O = 144
T = 2.75
O = 222
T = 284.42
O = 222
T = 0.45
O = 313
T = 0.89
s2v140c1200-2.cnf O = 155
T = 2.77
O = 155
T = 2.77
O = 155
T = 3.50
O = 171
T = 75.08
O = N/A
T = TO
O = 155
T = 2.87
O = 245
T = 284.50
O = 245
T = 0.39
O = 294
T = 0.74
s2v140c1200-3.cnf O = 155
T = 3.12
O = 155
T = 4.00
O = 155
T = 3.37
O = 183
T = 48.17
O = N/A
T = TO
O = 155
T = 3.12
O = 244
T = 284.43
O = 244
T = 0.46
O = 307
T = 0.98
s2v140c1300-1.cnf O = 162
T = 2.41
O = 162
T = 2.41
O = 162
T = 3.35
O = 180
T = 178.68
O = N/A
T = TO
O = 162
T = 2.58
O = 235
T = 284.43
O = 235
T = 0.48
O = 336
T = 0.82
s2v140c1300-2.cnf O = 171
T = 1.62
O = 171
T = 2.71
O = 171
T = 3.74
O = 194
T = 13.95
O = N/A
T = TO
O = 171
T = 1.62
O = 257
T = 284.61
O = 257
T = 0.52
O = 327
T = 0.90
s2v140c1300-3.cnf O = 168
T = 2.30
O = 168
T = 3.18
O = 168
T = 2.99
O = 194
T = 86.42
O = N/A
T = TO
O = 168
T = 2.30
O = 275
T = 284.73
O = N/A
T = TO
O = 334
T = 0.75
s2v140c1400-1.cnf O = 182
T = 1.55
O = 182
T = 1.55
O = 182
T = 3.89
O = 200
T = 256.75
O = N/A
T = TO
O = 182
T = 2.47
O = 266
T = 284.32
O = 266
T = 0.57
O = 354
T = 0.67
s2v140c1400-2.cnf O = 178
T = 1.65
O = 178
T = 3.45
O = 178
T = 3.80
O = 202
T = 240.05
O = N/A
T = TO
O = 178
T = 1.65
O = 307
T = 284.52
O = 307
T = 0.52
O = 361
T = 0.80
s2v140c1400-3.cnf O = 193
T = 2.39
O = 193
T = 3.47
O = 193
T = 3.54
O = 220
T = 144.70
O = N/A
T = TO
O = 193
T = 2.39
O = 294
T = 284.22
O = 294
T = 0.44
O = 361
T = 0.90
s2v140c1500-1.cnf O = 205
T = 2.17
O = 205
T = 2.90
O = 205
T = 2.23
O = 219
T = 142.40
O = N/A
T = TO
O = 205
T = 2.17
O = 327
T = 284.23
O = N/A
T = TO
O = 380
T = 0.89
s2v140c1500-2.cnf O = 199
T = 2.37
O = 199
T = 2.38
O = 199
T = 2.44
O = 220
T = 98.00
O = N/A
T = TO
O = 199
T = 2.37
O = 298
T = 284.58
O = 298
T = 0.60
O = 396
T = 0.91
s2v140c1500-3.cnf O = 212
T = 2.17
O = 212
T = 3.23
O = 212
T = 2.17
O = 244
T = 165.47
O = N/A
T = TO
O = 212
T = 3.35
O = 312
T = 284.44
O = 312
T = 0.51
O = 358
T = 0.84
s2v140c1600-1.cnf O = 221
T = 2.62
O = 221
T = 3.67
O = 221
T = 2.71
O = 246
T = 285.68
O = N/A
T = TO
O = 221
T = 2.62
O = 336
T = 284.48
O = 336
T = 0.58
O = 401
T = 0.84
s2v140c1600-2.cnf O = 221
T = 1.80
O = 221
T = 2.85
O = 221
T = 4.05
O = 241
T = 87.88
O = N/A
T = TO
O = 221
T = 1.80
O = 362
T = 284.42
O = 362
T = 0.49
O = 425
T = 0.76
s2v140c1600-3.cnf O = 226
T = 2.46
O = 226
T = 3.81
O = 226
T = 2.46
O = 258
T = 80.45
O = N/A
T = TO
O = 226
T = 2.89
O = 340
T = 284.32
O = N/A
T = TO
O = 385
T = 0.82
s2v140c1700-1.cnf O = 254
T = 2.60
O = 254
T = 3.46
O = 254
T = 3.10
O = 286
T = 160.97
O = N/A
T = TO
O = 254
T = 2.60
O = 341
T = 284.64
O = 341
T = 0.39
O = 401
T = 1.10
s2v140c1700-2.cnf O = 242
T = 1.37
O = 242
T = 4.11
O = 242
T = 4.16
O = 271
T = 17.60
O = N/A
T = TO
O = 242
T = 1.37
O = 350
T = 284.57
O = 350
T = 0.52
O = 424
T = 0.92
s2v140c1700-3.cnf O = 236
T = 2.83
O = 236
T = 2.83
O = 236
T = 3.01
O = 270
T = 26.76
O = N/A
T = TO
O = 236
T = 3.25
O = 345
T = 284.47
O = 345
T = 0.45
O = 450
T = 0.90
s2v140c1800-1.cnf O = 254
T = 2.88
O = 254
T = 3.42
O = 254
T = 3.60
O = 285
T = 234.98
O = N/A
T = TO
O = 254
T = 2.88
O = N/A
T = TO
O = 379
T = 0.56
O = 437
T = 0.95
s2v140c1800-2.cnf O = 257
T = 2.84
O = 257
T = 3.40
O = 257
T = 2.95
O = 296
T = 124.38
O = N/A
T = TO
O = 257
T = 2.84
O = 396
T = 284.48
O = 396
T = 0.54
O = 440
T = 1.00
s2v140c1800-3.cnf O = 255
T = 1.46
O = 255
T = 1.46
O = 255
T = 3.58
O = 291
T = 108.40
O = N/A
T = TO
O = 255
T = 2.76
O = 393
T = 284.56
O = 393
T = 0.58
O = 427
T = 1.00
s2v140c1900-1.cnf O = 283
T = 3.32
O = 283
T = 3.97
O = 283
T = 3.87
O = 308
T = 78.32
O = N/A
T = TO
O = 283
T = 3.32
O = 397
T = 284.55
O = 397
T = 0.62
O = 497
T = 1.00
s2v140c1900-2.cnf O = 273
T = 2.55
O = 273
T = 2.55
O = 273
T = 4.31
O = 305
T = 272.34
O = N/A
T = TO
O = 273
T = 3.07
O = 376
T = 284.66
O = 376
T = 0.60
O = 454
T = 1.10
s2v140c1900-3.cnf O = 278
T = 2.65
O = 278
T = 2.65
O = 278
T = 3.58
O = 312
T = 154.93
O = N/A
T = TO
O = 278
T = 2.82
O = 372
T = 284.69
O = 372
T = 0.61
O = 478
T = 0.82
s2v140c2000-1.cnf O = 298
T = 3.06
O = 298
T = 3.52
O = 298
T = 3.94
O = 328
T = 287.14
O = N/A
T = TO
O = 298
T = 3.06
O = 427
T = 284.55
O = 427
T = 0.71
O = 482
T = 0.77
s2v140c2000-2.cnf O = 308
T = 3.00
O = 308
T = 3.48
O = 308
T = 3.00
O = 347
T = 172.14
O = N/A
T = TO
O = 308
T = 3.45
O = 441
T = 284.24
O = N/A
T = TO
O = 497
T = 0.69
s2v140c2000-3.cnf O = 296
T = 2.35
O = 296
T = 3.04
O = 296
T = 3.63
O = 330
T = 166.25
O = N/A
T = TO
O = 296
T = 2.35
O = 420
T = 284.38
O = 420
T = 0.71
O = 516
T = 1.00
s2v140c2100-1.cnf O = 293
T = 2.79
O = 293
T = 3.37
O = 293
T = 2.97
O = 335
T = 144.26
O = N/A
T = TO
O = 293
T = 2.79
O = 442
T = 284.43
O = 442
T = 0.68
O = 535
T = 0.81
s2v140c2100-2.cnf O = 310
T = 3.01
O = 310
T = 4.29
O = 310
T = 3.70
O = 330
T = 182.80
O = N/A
T = TO
O = 310
T = 3.01
O = 429
T = 284.61
O = N/A
T = TO
O = 567
T = 0.81
s2v140c2100-3.cnf O = 319
T = 2.85
O = 319
T = 3.72
O = 319
T = 2.85
O = 361
T = 40.93
O = N/A
T = TO
O = 319
T = 3.15
O = 456
T = 284.62
O = N/A
T = TO
O = 503
T = 0.72
s2v140c2200-1.cnf O = 336
T = 2.38
O = 336
T = 2.38
O = 336
T = 3.04
O = 364
T = 117.22
O = N/A
T = TO
O = 336
T = 2.58
O = N/A
T = TO
O = N/A
T = TO
O = 563
T = 0.99
s2v140c2200-2.cnf O = 332
T = 3.16
O = 332
T = 3.22
O = 332
T = 3.32
O = 363
T = 258.42
O = N/A
T = TO
O = 332
T = 3.16
O = 454
T = 284.70
O = 454
T = 0.44
O = 510
T = 0.74
s2v140c2200-3.cnf O = 329
T = 3.36
O = 329
T = 3.36
O = 329
T = 3.64
O = 368
T = 166.84
O = N/A
T = TO
O = 329
T = 3.40
O = 469
T = 284.72
O = 469
T = 0.51
O = 527
T = 0.92
s2v140c2300-1.cnf O = 359
T = 2.76
O = 359
T = 4.33
O = 359
T = 3.64
O = 392
T = 217.40
O = N/A
T = TO
O = 359
T = 2.76
O = N/A
T = TO
O = N/A
T = TO
O = 601
T = 0.81
s2v140c2300-2.cnf O = 365
T = 2.68
O = 365
T = 3.23
O = 365
T = 3.58
O = 401
T = 24.77
O = N/A
T = TO
O = 365
T = 2.68
O = 524
T = 284.70
O = 524
T = 0.52
O = 566
T = 0.85
s2v140c2300-3.cnf O = 352
T = 3.56
O = 352
T = 3.56
O = 352
T = 4.28
O = 388
T = 248.44
O = N/A
T = TO
O = 352
T = 3.71
O = 496
T = 284.52
O = N/A
T = TO
O = 577
T = 0.67
s2v140c2400-1.cnf O = 388
T = 2.38
O = 388
T = 3.81
O = 388
T = 3.25
O = 422
T = 169.06
O = N/A
T = TO
O = 388
T = 2.38
O = N/A
T = TO
O = N/A
T = TO
O = 598
T = 0.06
s2v140c2400-2.cnf O = 388
T = 2.48
O = 388
T = 4.13
O = 388
T = 3.28
O = 433
T = 173.52
O = N/A
T = TO
O = 388
T = 2.48
O = 496
T = 284.30
O = N/A
T = TO
O = 605
T = 0.90
s2v140c2400-3.cnf O = 381
T = 2.65
O = 381
T = 3.70
O = 381
T = 4.50
O = 419
T = 175.91
O = N/A
T = TO
O = 381
T = 2.65
O = 505
T = 284.32
O = 505
T = 0.57
O = 587
T = 0.09
s2v140c2500-1.cnf O = 393
T = 1.96
O = 393
T = 4.74
O = 393
T = 4.19
O = 442
T = 58.62
O = N/A
T = TO
O = 393
T = 1.96
O = 533
T = 284.56
O = N/A
T = TO
O = 610
T = 0.07
s2v140c2500-2.cnf O = 407
T = 2.95
O = 407
T = 3.65
O = 407
T = 3.98
O = 464
T = 42.02
O = N/A
T = TO
O = 407
T = 2.95
O = 558
T = 284.02
O = 558
T = 0.69
O = 604
T = 0.05
s2v140c2500-3.cnf O = 398
T = 2.09
O = 398
T = 3.40
O = 398
T = 3.75
O = 448
T = 285.68
O = N/A
T = TO
O = 398
T = 2.09
O = 542
T = 284.48
O = N/A
T = TO
O = 656
T = 0.05
s2v140c2600-1.cnf O = 422
T = 3.48
O = 422
T = 3.67
O = 422
T = 3.48
O = 477
T = 151.58
O = N/A
T = TO
O = 422
T = 4.25
O = 549
T = 284.47
O = N/A
T = TO
O = 643
T = 0.08
s2v140c2600-2.cnf O = 425
T = 3.24
O = 425
T = 3.24
O = 425
T = 3.59
O = 461
T = 138.76
O = N/A
T = TO
O = 425
T = 3.48
O = 599
T = 284.74
O = 599
T = 0.51
O = 639
T = 0.06
s2v140c2600-3.cnf O = 406
T = 1.65
O = 406
T = 4.41
O = 406
T = 4.46
O = 443
T = 202.60
O = N/A
T = TO
O = 406
T = 1.65
O = 607
T = 284.73
O = N/A
T = TO
O = 655
T = 0.05
s2v160c1200-1.cnf O = 142
T = 3.09
O = 142
T = 3.84
O = 142
T = 3.42
O = 172
T = 25.83
O = N/A
T = TO
O = 142
T = 3.09
O = 222
T = 284.67
O = 222
T = 0.65
O = 315
T = 1.43
s2v160c1200-2.cnf O = 133
T = 3.24
O = 133
T = 3.74
O = 133
T = 4.44
O = 153
T = 160.10
O = N/A
T = TO
O = 133
T = 3.24
O = 222
T = 284.46
O = 222
T = 0.69
O = 310
T = 1.58
s2v160c1200-3.cnf O = 143
T = 2.82
O = 143
T = 3.61
O = 143
T = 3.45
O = 164
T = 49.58
O = N/A
T = TO
O = 143
T = 2.82
O = 240
T = 284.27
O = N/A
T = TO
O = 325
T = 1.37
s2v160c1300-1.cnf O = 167
T = 2.56
O = 167
T = 3.40
O = 167
T = 3.70
O = 194
T = 210.28
O = N/A
T = TO
O = 167
T = 2.56
O = 259
T = 284.67
O = 259
T = 0.48
O = 316
T = 1.39
s2v160c1300-2.cnf O = 139
T = 3.32
O = 139
T = 4.19
O = 139
T = 3.46
O = 158
T = 4.40
O = N/A
T = TO
O = 139
T = 3.32
O = 254
T = 284.53
O = 254
T = 0.44
O = 310
T = 1.36
s2v160c1300-3.cnf O = 157
T = 3.29
O = 157
T = 3.82
O = 157
T = 4.53
O = 189
T = 159.55
O = N/A
T = TO
O = 157
T = 3.29
O = 253
T = 284.51
O = 253
T = 0.53
O = 339
T = 1.44
s2v160c1400-1.cnf O = 166
T = 3.19
O = 166
T = 3.44
O = 166
T = 3.19
O = 192
T = 11.06
O = N/A
T = TO
O = 166
T = 3.31
O = 279
T = 284.64
O = 279
T = 0.55
O = 335
T = 1.27
s2v160c1400-2.cnf O = 164
T = 2.99
O = 164
T = 3.47
O = 164
T = 3.47
O = 185
T = 119.46
O = N/A
T = TO
O = 164
T = 2.99
O = 273
T = 284.64
O = 273
T = 0.64
O = 343
T = 1.41
s2v160c1400-3.cnf O = 167
T = 3.21
O = 167
T = 3.21
O = 167
T = 3.22
O = 198
T = 257.29
O = N/A
T = TO
O = 167
T = 4.08
O = 285
T = 284.67
O = 285
T = 0.62
O = 338
T = 1.07
s2v160c1500-1.cnf O = 183
T = 3.14
O = 183
T = 4.08
O = 183
T = 4.36
O = 217
T = 140.63
O = N/A
T = TO
O = 183
T = 3.14
O = 312
T = 284.46
O = 312
T = 0.58
O = 377
T = 0.93
s2v160c1500-2.cnf O = 200
T = 3.36
O = 200
T = 4.31
O = 200
T = 4.83
O = 235
T = 10.55
O = N/A
T = TO
O = 200
T = 3.36
O = 301
T = 284.61
O = 301
T = 0.69
O = 367
T = 0.93
s2v160c1500-3.cnf O = 184
T = 2.38
O = 184
T = 2.38
O = 184
T = 3.57
O = 211
T = 221.60
O = N/A
T = TO
O = 184
T = 4.00
O = 270
T = 284.49
O = 270
T = 0.63
O = 384
T = 1.38
s2v160c1600-1.cnf O = 222
T = 1.82
O = 222
T = 3.54
O = 222
T = 1.82
O = 254
T = 137.63
O = N/A
T = TO
O = 222
T = 3.40
O = 326
T = 284.56
O = 326
T = 0.52
O = 398
T = 1.14
s2v160c1600-2.cnf O = 222
T = 1.29
O = 222
T = 2.91
O = 222
T = 1.29
O = 250
T = 170.67
O = N/A
T = TO
O = 222
T = 2.02
O = 308
T = 284.66
O = 308
T = 0.60
O = 422
T = 1.34
s2v160c1600-3.cnf O = 213
T = 2.92
O = 213
T = 2.92
O = 213
T = 3.29
O = 246
T = 255.89
O = N/A
T = TO
O = 213
T = 3.52
O = 331
T = 284.72
O = N/A
T = TO
O = 397
T = 1.56
s2v160c1700-1.cnf O = 226
T = 2.88
O = 226
T = 4.20
O = 226
T = 4.17
O = 255
T = 150.58
O = N/A
T = TO
O = 226
T = 2.88
O = 349
T = 284.62
O = 349
T = 0.56
O = 411
T = 0.79
s2v160c1700-2.cnf O = 230
T = 2.77
O = 230
T = 5.07
O = 230
T = 3.62
O = 264
T = 238.20
O = N/A
T = TO
O = 230
T = 2.77
O = 357
T = 284.57
O = 357
T = 0.74
O = 467
T = 1.43
s2v160c1700-3.cnf O = 249
T = 1.28
O = 249
T = 3.09
O = 249
T = 4.11
O = 282
T = 25.46
O = N/A
T = TO
O = 249
T = 1.28
O = 364
T = 284.55
O = 364
T = 0.74
O = 429
T = 1.49
s2v160c1800-1.cnf O = 252
T = 2.61
O = 252
T = 4.95
O = 252
T = 3.73
O = 290
T = 268.76
O = N/A
T = TO
O = 252
T = 2.61
O = 407
T = 284.58
O = 407
T = 0.73
O = 468
T = 1.30
s2v160c1800-2.cnf O = 256
T = 3.07
O = 256
T = 3.90
O = 256
T = 4.41
O = 291
T = 31.75
O = N/A
T = TO
O = 256
T = 3.07
O = 371
T = 284.40
O = N/A
T = TO
O = 477
T = 0.96
s2v160c1800-3.cnf O = 255
T = 2.63
O = 255
T = 2.63
O = 255
T = 3.05
O = 281
T = 102.06
O = N/A
T = TO
O = 255
T = 2.90
O = 383
T = 284.73
O = 383
T = 0.96
O = 446
T = 0.61
s2v160c1900-1.cnf O = 261
T = 2.89
O = 261
T = 4.29
O = 261
T = 3.10
O = 286
T = 265.37
O = N/A
T = TO
O = 261
T = 2.89
O = 372
T = 284.66
O = N/A
T = TO
O = 482
T = 1.22
s2v160c1900-2.cnf O = 262
T = 3.28
O = 262
T = 3.54
O = 262
T = 3.28
O = 299
T = 202.81
O = N/A
T = TO
O = 262
T = 3.47
O = 396
T = 284.66
O = 396
T = 0.77
O = 466
T = 1.19
s2v160c1900-3.cnf O = 264
T = 3.24
O = 264
T = 4.75
O = 264
T = 4.49
O = 299
T = 181.09
O = N/A
T = TO
O = 264
T = 3.24
O = 411
T = 284.67
O = N/A
T = TO
O = 461
T = 1.19
s2v160c2000-1.cnf O = 293
T = 2.57
O = 293
T = 3.92
O = 293
T = 3.37
O = 324
T = 155.86
O = N/A
T = TO
O = 293
T = 2.57
O = 413
T = 284.50
O = N/A
T = TO
O = 514
T = 0.98
s2v160c2000-2.cnf O = 272
T = 2.01
O = 272
T = 2.61
O = 272
T = 4.01
O = 309
T = 225.42
O = N/A
T = TO
O = 272
T = 2.01
O = 373
T = 284.66
O = 373
T = 0.53
O = 483
T = 0.69
s2v160c2000-3.cnf O = 282
T = 2.84
O = 282
T = 4.59
O = 282
T = 3.51
O = 329
T = 77.20
O = N/A
T = TO
O = 282
T = 2.84
O = 424
T = 284.67
O = 424
T = 0.66
O = 514
T = 1.08
s2v160c2100-1.cnf O = 294
T = 2.41
O = 294
T = 3.99
O = 294
T = 3.06
O = 330
T = 284.68
O = N/A
T = TO
O = 294
T = 2.41
O = 469
T = 284.47
O = 460
T = 0.59
O = 513
T = 0.44
s2v160c2100-2.cnf O = 299
T = 2.81
O = 299
T = 3.79
O = 299
T = 4.91
O = 336
T = 206.47
O = N/A
T = TO
O = 299
T = 2.81
O = 391
T = 284.46
O = 391
T = 0.85
O = 516
T = 1.11
s2v160c2100-3.cnf O = 305
T = 2.30
O = 305
T = 4.44
O = 305
T = 3.28
O = 352
T = 40.89
O = N/A
T = TO
O = 305
T = 2.30
O = 431
T = 284.54
O = N/A
T = TO
O = 528
T = 1.22
s2v160c2200-1.cnf O = 310
T = 2.17
O = 310
T = 4.73
O = 310
T = 4.88
O = 343
T = 202.09
O = N/A
T = TO
O = 310
T = 2.17
O = 472
T = 284.67
O = 472
T = 0.95
O = 551
T = 0.90
s2v160c2200-2.cnf O = 333
T = 2.01
O = 333
T = 2.01
O = 333
T = 3.42
O = 376
T = 265.57
O = N/A
T = TO
O = 333
T = 3.65
O = 480
T = 284.48
O = 480
T = 0.74
O = 554
T = 1.14
s2v160c2200-3.cnf O = 326
T = 2.43
O = 326
T = 4.80
O = 326
T = 3.53
O = 370
T = 123.99
O = N/A
T = TO
O = 326
T = 2.43
O = 474
T = 284.40
O = N/A
T = TO
O = 558
T = 0.89
s2v160c2300-1.cnf O = 353
T = 2.53
O = 353
T = 3.49
O = 353
T = 3.63
O = 393
T = 252.63
O = N/A
T = TO
O = 353
T = 2.53
O = 525
T = 284.65
O = 525
T = 0.95
O = 563
T = 1.14
s2v160c2300-2.cnf O = 349
T = 2.83
O = 349
T = 2.94
O = 349
T = 4.27
O = 392
T = 126.14
O = N/A
T = TO
O = 349
T = 2.83
O = N/A
T = TO
O = 497
T = 0.92
O = 560
T = 1.12
s2v160c2300-3.cnf O = 343
T = 3.15
O = 343
T = 3.72
O = 343
T = 4.69
O = 376
T = 114.83
O = N/A
T = TO
O = 343
T = 3.15
O = 501
T = 284.67
O = 501
T = 0.85
O = 590
T = 1.21
s2v160c2400-1.cnf O = 370
T = 3.02
O = 370
T = 4.30
O = 370
T = 3.02
O = 421
T = 74.24
O = N/A
T = TO
O = 370
T = 3.48
O = 522
T = 284.29
O = 522
T = 0.79
O = 611
T = 1.12
s2v160c2400-2.cnf O = 365
T = 2.89
O = 365
T = 3.55
O = 365
T = 4.80
O = 401
T = 144.04
O = N/A
T = TO
O = 365
T = 2.89
O = 523
T = 284.49
O = N/A
T = TO
O = 603
T = 1.11
s2v160c2400-3.cnf O = 380
T = 3.61
O = 380
T = 4.02
O = 380
T = 3.61
O = 423
T = 134.57
O = N/A
T = TO
O = 380
T = 3.98
O = 521
T = 284.65
O = 521
T = 0.85
O = 578
T = 1.11
s2v160c2500-1.cnf O = 383
T = 3.19
O = 383
T = 3.19
O = 383
T = 3.78
O = 426
T = 78.03
O = N/A
T = TO
O = 383
T = 3.87
O = 577
T = 284.56
O = 577
T = 0.99
O = 593
T = 1.21
s2v160c2500-2.cnf O = 380
T = 3.55
O = 380
T = 3.95
O = 380
T = 3.55
O = 425
T = 92.96
O = N/A
T = TO
O = 380
T = 4.02
O = 539
T = 284.25
O = N/A
T = TO
O = 653
T = 0.98
s2v160c2500-3.cnf O = 382
T = 3.63
O = 382
T = 4.35
O = 382
T = 4.19
O = 435
T = 116.98
O = N/A
T = TO
O = 382
T = 3.63
O = N/A
T = TO
O = N/A
T = TO
O = 602
T = 0.99
s2v160c2600-1.cnf O = 392
T = 3.22
O = 392
T = 4.37
O = 392
T = 3.73
O = 448
T = 171.50
O = N/A
T = TO
O = 392
T = 3.22
O = 578
T = 284.63
O = N/A
T = TO
O = 604
T = 0.06
s2v160c2600-2.cnf O = 397
T = 2.41
O = 397
T = 3.62
O = 397
T = 4.05
O = 448
T = 253.30
O = N/A
T = TO
O = 397
T = 2.41
O = 596
T = 284.69
O = 596
T = 0.67
O = 618
T = 0.07
s2v160c2600-3.cnf O = 413
T = 3.30
O = 413
T = 3.64
O = 413
T = 3.30
O = 456
T = 152.96
O = N/A
T = TO
O = 413
T = 4.93
O = N/A
T = TO
O = N/A
T = TO
O = 623
T = 0.07
s2v180c1200-1.cnf O = 134
T = 3.24
O = 134
T = 4.39
O = 134
T = 3.45
O = 158
T = 9.20
O = N/A
T = TO
O = 134
T = 3.24
O = 224
T = 284.54
O = N/A
T = TO
O = 281
T = 0.87
s2v180c1200-2.cnf O = 130
T = 3.30
O = 130
T = 3.71
O = 130
T = 3.30
O = 156
T = 272.33
O = N/A
T = TO
O = 130
T = 3.34
O = 214
T = 284.50
O = 214
T = 0.82
O = 341
T = 1.05
s2v180c1200-3.cnf O = 131
T = 3.45
O = 131
T = 3.79
O = 131
T = 3.52
O = 153
T = 164.69
O = N/A
T = TO
O = 131
T = 3.45
O = 209
T = 284.42
O = 209
T = 0.86
O = 287
T = 0.90
s2v180c1200-4.cnf O = 128
T = 1.59
O = 128
T = 3.94
O = 128
T = 1.59
O = 150
T = 20.57
O = N/A
T = TO
O = 128
T = 3.16
O = 210
T = 284.68
O = 210
T = 0.83
O = 312
T = 1.46
s2v180c1300-1.cnf O = 153
T = 3.80
O = 153
T = 3.94
O = 153
T = 4.25
O = 186
T = 218.59
O = N/A
T = TO
O = 153
T = 3.80
O = 251
T = 284.38
O = 251
T = 0.88
O = 317
T = 1.54
s2v180c1300-2.cnf O = 138
T = 2.46
O = 138
T = 4.32
O = 138
T = 2.46
O = 158
T = 199.79
O = N/A
T = TO
O = 138
T = 3.84
O = 227
T = 284.24
O = 227
T = 0.83
O = 326
T = 1.54
s2v180c1300-3.cnf O = 150
T = 3.24
O = 150
T = 4.38
O = 150
T = 3.85
O = 175
T = 175.15
O = N/A
T = TO
O = 150
T = 3.24
O = 255
T = 284.71
O = 255
T = 0.94
O = 337
T = 1.58
s2v180c1300-4.cnf O = 149
T = 3.68
O = 149
T = 4.25
O = 149
T = 4.66
O = 177
T = 167.61
O = N/A
T = TO
O = 149
T = 3.68
O = 223
T = 284.55
O = 223
T = 0.72
O = 303
T = 1.37
s2v180c1400-1.cnf O = 165
T = 2.29
O = 165
T = 4.44
O = 165
T = 2.29
O = 188
T = 143.11
O = N/A
T = TO
O = 165
T = 3.61
O = 257
T = 284.59
O = 257
T = 0.94
O = 373
T = 1.24
s2v180c1400-2.cnf O = 165
T = 2.11
O = 165
T = 5.00
O = 165
T = 2.11
O = 197
T = 282.24
O = N/A
T = TO
O = 165
T = 3.51
O = 254
T = 284.51
O = 254
T = 0.78
O = 330
T = 1.03
s2v180c1400-3.cnf O = 156
T = 3.63
O = 156
T = 5.54
O = 156
T = 3.63
O = 177
T = 82.76
O = N/A
T = TO
O = 156
T = 3.67
O = 268
T = 284.51
O = 268
T = 0.80
O = 340
T = 1.37
s2v180c1400-4.cnf O = 160
T = 3.20
O = 160
T = 4.34
O = 160
T = 3.78
O = 192
T = 14.09
O = N/A
T = TO
O = 160
T = 3.20
O = 271
T = 284.45
O = 271
T = 0.87
O = 332
T = 1.43
s2v180c1500-1.cnf O = 184
T = 3.15
O = 184
T = 3.65
O = 184
T = 3.15
O = 213
T = 129.39
O = N/A
T = TO
O = 184
T = 4.04
O = 284
T = 284.66
O = 284
T = 0.93
O = 424
T = 1.18
s2v180c1500-2.cnf O = 180
T = 2.94
O = 180
T = 3.72
O = 180
T = 4.72
O = 202
T = 118.98
O = N/A
T = TO
O = 180
T = 2.94
O = 256
T = 284.21
O = 256
T = 0.91
O = 384
T = 1.53
s2v180c1500-3.cnf O = 179
T = 3.49
O = 179
T = 3.56
O = 179
T = 3.69
O = 213
T = 84.33
O = N/A
T = TO
O = 179
T = 3.49
O = 263
T = 284.51
O = 263
T = 0.85
O = 376
T = 0.84
s2v180c1500-4.cnf O = 181
T = 2.64
O = 181
T = 5.18
O = 181
T = 2.64
O = 212
T = 140.89
O = N/A
T = TO
O = 181
T = 3.40
O = 278
T = 284.51
O = 278
T = 0.97
O = 366
T = 1.50
s2v180c1600-1.cnf O = 200
T = 2.61
O = 200
T = 4.57
O = 200
T = 2.61
O = 230
T = 7.67
O = N/A
T = TO
O = 200
T = 3.35
O = 302
T = 284.51
O = 302
T = 0.56
O = 415
T = 1.44
s2v180c1600-2.cnf O = 204
T = 3.38
O = 204
T = 3.89
O = 204
T = 3.38
O = 244
T = 144.01
O = N/A
T = TO
O = 204
T = 3.89
O = 301
T = 284.59
O = 301
T = 0.73
O = 403
T = 1.45
s2v180c1600-3.cnf O = 216
T = 3.76
O = 216
T = 4.45
O = 216
T = 4.37
O = 248
T = 233.35
O = N/A
T = TO
O = 216
T = 3.76
O = 340
T = 284.53
O = 340
T = 0.68
O = 407
T = 1.36
s2v180c1600-4.cnf O = 200
T = 1.66
O = 200
T = 3.04
O = 200
T = 3.58
O = 241
T = 55.14
O = N/A
T = TO
O = 200
T = 1.66
O = 313
T = 284.34
O = 313
T = 0.85
O = 398
T = 1.36
s2v180c1700-1.cnf O = 225
T = 3.55
O = 225
T = 4.11
O = 225
T = 3.55
O = 260
T = 27.08
O = N/A
T = TO
O = 225
T = 4.01
O = 335
T = 284.43
O = 335
T = 0.93
O = 405
T = 1.12
s2v180c1700-2.cnf O = 229
T = 2.54
O = 229
T = 3.63
O = 229
T = 2.54
O = 264
T = 74.68
O = N/A
T = TO
O = 229
T = 3.61
O = 373
T = 284.67
O = 373
T = 0.92
O = 385
T = 1.28
s2v180c1700-3.cnf O = 209
T = 3.25
O = 209
T = 4.12
O = 209
T = 3.92
O = 236
T = 103.30
O = N/A
T = TO
O = 209
T = 3.25
O = 349
T = 284.63
O = 349
T = 0.93
O = 446
T = 1.44
s2v180c1700-4.cnf O = 206
T = 1.82
O = 206
T = 1.82
O = 206
T = 4.17
O = 234
T = 234.06
O = N/A
T = TO
O = 206
T = 2.79
O = 344
T = 284.50
O = 344
T = 0.87
O = 437
T = 1.54
s2v180c1800-1.cnf O = 241
T = 3.68
O = 241
T = 5.08
O = 241
T = 4.61
O = 290
T = 106.31
O = N/A
T = TO
O = 241
T = 3.68
O = 393
T = 284.64
O = 393
T = 0.92
O = 417
T = 1.09
s2v180c1800-2.cnf O = 242
T = 3.38
O = 242
T = 3.62
O = 242
T = 3.38
O = 276
T = 38.57
O = N/A
T = TO
O = 242
T = 3.92
O = 359
T = 284.61
O = 359
T = 0.80
O = 451
T = 1.40
s2v180c1800-3.cnf O = 232
T = 3.73
O = 232
T = 4.97
O = 232
T = 4.69
O = 263
T = 218.68
O = N/A
T = TO
O = 232
T = 3.73
O = N/A
T = TO
O = 361
T = 0.79
O = 483
T = 1.44
s2v180c1800-4.cnf O = 241
T = 3.35
O = 241
T = 4.04
O = 241
T = 3.86
O = 275
T = 186.61
O = N/A
T = TO
O = 241
T = 3.35
O = 355
T = 284.63
O = 355
T = 0.88
O = 446
T = 1.42
s2v180c1900-1.cnf O = 245
T = 3.83
O = 245
T = 4.60
O = 245
T = 3.83
O = 281
T = 46.66
O = N/A
T = TO
O = 245
T = 4.51
O = 409
T = 284.58
O = 409
T = 0.82
O = 483
T = 1.28
s2v180c1900-2.cnf O = 246
T = 2.75
O = 246
T = 4.11
O = 246
T = 3.54
O = 289
T = 58.63
O = N/A
T = TO
O = 246
T = 2.75
O = 400
T = 284.69
O = 400
T = 0.91
O = 488
T = 1.22
s2v180c1900-3.cnf O = 252
T = 3.78
O = 252
T = 4.71
O = 252
T = 4.34
O = 294
T = 31.31
O = N/A
T = TO
O = 252
T = 3.78
O = 402
T = 284.63
O = 402
T = 0.86
O = 481
T = 1.31
s2v180c1900-4.cnf O = 257
T = 2.96
O = 257
T = 4.01
O = 257
T = 3.94
O = 294
T = 219.90
O = N/A
T = TO
O = 257
T = 2.96
O = 385
T = 284.70
O = 385
T = 0.79
O = 477
T = 1.02
s2v180c2000-1.cnf O = 282
T = 3.49
O = 282
T = 4.49
O = 282
T = 3.77
O = 325
T = 162.95
O = N/A
T = TO
O = 282
T = 3.49
O = 404
T = 284.41
O = 404
T = 0.68
O = 523
T = 1.07
s2v180c2000-2.cnf O = 285
T = 3.70
O = 285
T = 3.78
O = 285
T = 4.39
O = 334
T = 134.36
O = N/A
T = TO
O = 285
T = 3.70
O = 430
T = 284.38
O = 430
T = 0.96
O = 536
T = 0.80
s2v180c2000-3.cnf O = 271
T = 3.09
O = 271
T = 4.70
O = 271
T = 4.08
O = 307
T = 146.20
O = N/A
T = TO
O = 271
T = 3.09
O = 429
T = 284.64
O = 429
T = 0.78
O = 491
T = 1.46
s2v180c2000-4.cnf O = 280
T = 3.12
O = 280
T = 3.99
O = 280
T = 4.38
O = 323
T = 25.25
O = N/A
T = TO
O = 280
T = 3.12
O = 433
T = 284.59
O = 433
T = 0.72
O = 472
T = 1.29
s2v180c2100-1.cnf O = 294
T = 3.20
O = 294
T = 3.99
O = 294
T = 3.94
O = 336
T = 99.22
O = N/A
T = TO
O = 294
T = 3.20
O = 450
T = 284.60
O = 450
T = 0.85
O = 535
T = 1.27
s2v180c2100-2.cnf O = 301
T = 2.87
O = 301
T = 2.87
O = 301
T = 4.11
O = 349
T = 219.43
O = N/A
T = TO
O = 301
T = 3.48
O = 436
T = 284.55
O = 436
T = 0.87
O = 520
T = 1.11
s2v180c2100-3.cnf O = 293
T = 3.33
O = 293
T = 4.26
O = 293
T = 3.61
O = 332
T = 95.08
O = N/A
T = TO
O = 293
T = 3.33
O = N/A
T = TO
O = N/A
T = TO
O = 537
T = 1.08
s2v180c2100-4.cnf O = 303
T = 3.41
O = 303
T = 4.56
O = 303
T = 4.40
O = 359
T = 41.93
O = N/A
T = TO
O = 303
T = 3.41
O = 462
T = 284.66
O = 462
T = 0.86
O = 525
T = 0.93
s2v180c2200-1.cnf O = 330
T = 2.71
O = 330
T = 4.88
O = 330
T = 4.59
O = 386
T = 4.29
O = N/A
T = TO
O = 330
T = 2.71
O = 480
T = 284.47
O = 480
T = 0.80
O = 598
T = 1.00
s2v180c2200-2.cnf O = 318
T = 3.36
O = 318
T = 4.02
O = 318
T = 4.02
O = 368
T = 231.79
O = N/A
T = TO
O = 318
T = 3.36
O = 448
T = 284.53
O = 448
T = 0.90
O = 556
T = 1.31
s2v180c2200-3.cnf O = 306
T = 2.60
O = 306
T = 4.43
O = 306
T = 5.15
O = 350
T = 76.01
O = N/A
T = TO
O = 306
T = 2.60
O = 460
T = 284.66
O = N/A
T = TO
O = 545
T = 0.91
s2v180c2200-4.cnf O = 317
T = 2.87
O = 317
T = 3.98
O = 317
T = 3.92
O = 360
T = 226.84
O = N/A
T = TO
O = 317
T = 2.87
O = 452
T = 284.39
O = 452
T = 0.93
O = 562
T = 1.11
s2v200c1200-1.cnf O = 118
T = 2.61
O = 118
T = 4.23
O = 118
T = 4.44
O = 136
T = 52.87
O = N/A
T = TO
O = 118
T = 2.61
O = 215
T = 284.51
O = 215
T = 0.51
O = 313
T = 0.90
s2v200c1200-2.cnf O = 127
T = 3.14
O = 127
T = 4.57
O = 127
T = 3.71
O = 152
T = 61.21
O = N/A
T = TO
O = 127
T = 3.14
O = 214
T = 284.68
O = 214
T = 0.91
O = 313
T = 1.52
s2v200c1200-3.cnf O = 125
T = 1.24
O = 125
T = 2.77
O = 125
T = 4.09
O = 149
T = 145.89
O = N/A
T = TO
O = 125
T = 1.24
O = 189
T = 284.68
O = 189
T = 0.96
O = 307
T = 1.00
s2v200c1200-4.cnf O = 115
T = 3.24
O = 115
T = 4.67
O = 115
T = 5.54
O = 137
T = 144.53
O = N/A
T = TO
O = 115
T = 3.24
O = 208
T = 284.67
O = 208
T = 0.95
O = 310
T = 1.15
s2v200c1200-5.cnf O = 117
T = 1.47
O = 117
T = 4.17
O = 117
T = 1.47
O = 135
T = 138.07
O = N/A
T = TO
O = 117
T = 2.92
O = 214
T = 284.60
O = 214
T = 0.50
O = 286
T = 0.96
s2v200c1200-6.cnf O = 127
T = 2.72
O = 127
T = 4.21
O = 127
T = 5.40
O = 150
T = 31.69
O = N/A
T = TO
O = 127
T = 2.72
O = 202
T = 284.50
O = 202
T = 0.86
O = 291
T = 1.03
s2v200c1200-7.cnf O = 112
T = 3.07
O = 112
T = 3.81
O = 112
T = 4.73
O = 128
T = 143.94
O = N/A
T = TO
O = 112
T = 3.07
O = 183
T = 284.62
O = 183
T = 0.91
O = 308
T = 0.99
s2v200c1300-1.cnf O = 144
T = 3.20
O = 144
T = 4.06
O = 144
T = 3.84
O = 176
T = 250.69
O = N/A
T = TO
O = 144
T = 3.20
O = 228
T = 284.71
O = 228
T = 0.82
O = 320
T = 0.80
s2v200c1300-2.cnf O = 143
T = 3.11
O = 143
T = 3.47
O = 143
T = 3.11
O = 168
T = 260.47
O = N/A
T = TO
O = 143
T = 3.61
O = 237
T = 284.39
O = 237
T = 0.98
O = 314
T = 0.94
s2v200c1300-3.cnf O = 121
T = 3.18
O = 121
T = 3.58
O = 121
T = 3.58
O = 147
T = 0.72
O = N/A
T = TO
O = 121
T = 3.18
O = 212
T = 284.26
O = 212
T = 0.98
O = 335
T = 0.98
s2v200c1300-4.cnf O = 139
T = 2.90
O = 139
T = 2.90
O = 139
T = 3.34
O = 163
T = 135.21
O = N/A
T = TO
O = 139
T = 3.83
O = 241
T = 284.51
O = 241
T = 0.83
O = 344
T = 1.02
s2v200c1300-5.cnf O = 142
T = 2.40
O = 142
T = 4.83
O = 142
T = 2.40
O = 165
T = 214.31
O = N/A
T = TO
O = 142
T = 3.28
O = 236
T = 284.59
O = 236
T = 0.86
O = 317
T = 1.04
s2v200c1300-6.cnf O = 134
T = 2.58
O = 134
T = 2.98
O = 134
T = 2.58
O = 157
T = 167.34
O = N/A
T = TO
O = 134
T = 3.86
O = 220
T = 284.72
O = 220
T = 1.00
O = 310
T = 1.42
s2v200c1300-7.cnf O = 128
T = 2.98
O = 128
T = 4.02
O = 128
T = 3.63
O = 153
T = 11.64
O = N/A
T = TO
O = 128
T = 2.98
O = 206
T = 284.75
O = 206
T = 0.76
O = 296
T = 1.34
s2v200c1400-1.cnf O = 156
T = 2.58
O = 156
T = 4.84
O = 156
T = 4.12
O = 185
T = 24.97
O = N/A
T = TO
O = 156
T = 2.58
O = 236
T = 284.63
O = N/A
T = TO
O = 354
T = 1.43
s2v200c1400-2.cnf O = 147
T = 2.47
O = 147
T = 3.96
O = 147
T = 2.47
O = 169
T = 143.30
O = N/A
T = TO
O = 147
T = 3.44
O = 265
T = 284.56
O = 265
T = 1.20
O = 347
T = 0.84
s2v200c1400-3.cnf O = 150
T = 4.18
O = 150
T = 4.64
O = 150
T = 4.33
O = 177
T = 209.44
O = N/A
T = TO
O = 150
T = 4.18
O = 247
T = 284.54
O = 247
T = 0.91
O = 349
T = 1.06
s2v200c1400-4.cnf O = 164
T = 4.23
O = 164
T = 5.06
O = 164
T = 4.90
O = 196
T = 134.69
O = N/A
T = TO
O = 164
T = 4.23
O = 270
T = 284.40
O = 270
T = 0.74
O = 371
T = 0.91
s2v200c1400-5.cnf O = 153
T = 3.57
O = 153
T = 3.57
O = 153
T = 4.65
O = 181
T = 230.92
O = N/A
T = TO
O = 153
T = 3.89
O = 249
T = 284.62
O = 249
T = 0.92
O = 373
T = 1.45
s2v200c1400-6.cnf O = 145
T = 2.35
O = 145
T = 4.57
O = 145
T = 3.92
O = 180
T = 32.76
O = N/A
T = TO
O = 145
T = 2.35
O = 249
T = 284.60
O = 249
T = 0.87
O = 381
T = 0.64
s2v200c1400-7.cnf O = 142
T = 4.17
O = 142
T = 4.17
O = 142
T = 4.69
O = 170
T = 271.36
O = N/A
T = TO
O = 142
T = 4.38
O = 251
T = 284.39
O = 251
T = 0.79
O = 340
T = 1.03
s2v200c1500-1.cnf O = 165
T = 3.55
O = 165
T = 4.89
O = 165
T = 3.55
O = 194
T = 59.62
O = N/A
T = TO
O = 165
T = 4.46
O = 276
T = 284.63
O = 276
T = 0.82
O = 379
T = 0.69
s2v200c1500-2.cnf O = 165
T = 3.41
O = 165
T = 4.32
O = 165
T = 3.43
O = 191
T = 57.62
O = N/A
T = TO
O = 165
T = 3.41
O = 226
T = 284.72
O = 226
T = 0.91
O = 366
T = 0.68
s2v200c1500-3.cnf O = 165
T = 2.66
O = 165
T = 5.24
O = 165
T = 5.15
O = 198
T = 85.13
O = N/A
T = TO
O = 165
T = 2.66
O = 280
T = 284.43
O = 280
T = 0.83
O = 385
T = 0.64
s2v200c1500-4.cnf O = 178
T = 3.11
O = 178
T = 3.97
O = 178
T = 4.18
O = 212
T = 10.12
O = N/A
T = TO
O = 178
T = 3.11
O = 288
T = 284.64
O = 288
T = 0.75
O = 392
T = 0.65
s2v200c1500-5.cnf O = 174
T = 3.45
O = 174
T = 4.26
O = 174
T = 3.45
O = 205
T = 178.98
O = N/A
T = TO
O = 174
T = 3.49
O = 263
T = 284.60
O = 263
T = 0.91
O = 358
T = 0.90
s2v200c1500-6.cnf O = 180
T = 3.86
O = 180
T = 4.00
O = 180
T = 4.05
O = 210
T = 225.74
O = N/A
T = TO
O = 180
T = 3.86
O = 307
T = 284.65
O = 307
T = 0.85
O = 394
T = 0.76
s2v200c1500-7.cnf O = 179
T = 3.92
O = 179
T = 4.81
O = 179
T = 4.48
O = 212
T = 27.66
O = N/A
T = TO
O = 179
T = 3.92
O = 298
T = 284.53
O = 298
T = 0.68
O = 368
T = 0.74
s2v200c1600-1.cnf O = 195
T = 2.97
O = 195
T = 2.97
O = 195
T = 3.67
O = 232
T = 287.80
O = N/A
T = TO
O = 195
T = 3.27
O = 283
T = 284.64
O = 283
T = 0.70
O = 383
T = 0.73
s2v200c1600-2.cnf O = 178
T = 3.49
O = 178
T = 4.01
O = 178
T = 3.49
O = 205
T = 202.82
O = N/A
T = TO
O = 178
T = 4.97
O = 287
T = 284.68
O = 287
T = 0.77
O = 416
T = 0.85
s2v200c1600-3.cnf O = 186
T = 3.15
O = 186
T = 3.15
O = 186
T = 4.49
O = 218
T = 138.63
O = N/A
T = TO
O = 186
T = 3.17
O = 294
T = 284.55
O = 294
T = 0.97
O = 397
T = 0.78
s2v200c1600-4.cnf O = 195
T = 4.19
O = 195
T = 4.45
O = 195
T = 5.02
O = 235
T = 143.38
O = N/A
T = TO
O = 195
T = 4.19
O = 328
T = 284.66
O = 328
T = 0.66
O = 402
T = 0.81
s2v200c1600-5.cnf O = 194
T = 3.92
O = 194
T = 3.92
O = 194
T = 4.24
O = 226
T = 175.35
O = N/A
T = TO
O = 194
T = 4.35
O = 287
T = 284.55
O = 287
T = 0.73
O = 404
T = 0.76
s2v200c1600-6.cnf O = 179
T = 2.92
O = 179
T = 3.01
O = 179
T = 4.52
O = 215
T = 245.99
O = N/A
T = TO
O = 179
T = 2.92
O = 283
T = 284.54
O = N/A
T = TO
O = 418
T = 0.70
s2v200c1600-7.cnf O = 192
T = 3.33
O = 192
T = 3.53
O = 192
T = 3.33
O = 224
T = 188.33
O = N/A
T = TO
O = 192
T = 4.18
O = 306
T = 284.52
O = 306
T = 0.74
O = 407
T = 0.64
s2v200c1700-1.cnf O = 193
T = 2.37
O = 193
T = 3.44
O = 193
T = 4.51
O = 235
T = 202.12
O = N/A
T = TO
O = 193
T = 2.37
O = 294
T = 284.70
O = N/A
T = TO
O = 406
T = 0.79
s2v200c1700-2.cnf O = 207
T = 3.67
O = 207
T = 4.08
O = 207
T = 3.67
O = 235
T = 135.11
O = N/A
T = TO
O = 207
T = 3.72
O = 323
T = 284.68
O = 323
T = 0.60
O = 414
T = 0.61
s2v200c1700-3.cnf O = 213
T = 3.38
O = 213
T = 4.76
O = 213
T = 3.60
O = 250
T = 91.61
O = N/A
T = TO
O = 213
T = 3.38
O = 299
T = 284.61
O = 299
T = 0.72
O = 405
T = 0.67
s2v200c1700-4.cnf O = 212
T = 2.93
O = 212
T = 3.87
O = 212
T = 5.28
O = 242
T = 18.79
O = N/A
T = TO
O = 212
T = 2.93
O = 304
T = 284.72
O = 304
T = 1.02
O = 409
T = 0.72
s2v200c1700-5.cnf O = 217
T = 2.95
O = 217
T = 4.20
O = 217
T = 3.85
O = 251
T = 255.22
O = N/A
T = TO
O = 217
T = 2.95
O = 339
T = 284.68
O = 339
T = 0.85
O = 396
T = 0.82
s2v200c1700-6.cnf O = 209
T = 4.12
O = 209
T = 4.88
O = 209
T = 4.12
O = 248
T = 90.80
O = N/A
T = TO
O = 209
T = 4.84
O = 345
T = 284.52
O = N/A
T = TO
O = 468
T = 0.81
s2v200c1700-7.cnf O = 201
T = 3.67
O = 201
T = 4.71
O = 201
T = 4.02
O = 237
T = 214.39
O = N/A
T = TO
O = 201
T = 3.67
O = 316
T = 284.60
O = N/A
T = TO
O = 435
T = 0.58
s2v200c1800-1.cnf O = 206
T = 3.01
O = 206
T = 5.08
O = 206
T = 4.46
O = 245
T = 96.50
O = N/A
T = TO
O = 206
T = 3.01
O = 358
T = 284.75
O = 358
T = 0.69
O = 442
T = 0.97
s2v200c1800-2.cnf O = 223
T = 3.07
O = 223
T = 5.53
O = 223
T = 4.09
O = 261
T = 60.62
O = N/A
T = TO
O = 223
T = 3.07
O = 383
T = 284.43
O = 383
T = 0.77
O = 437
T = 0.70
s2v200c1800-3.cnf O = 229
T = 3.31
O = 229
T = 4.03
O = 229
T = 4.48
O = 269
T = 187.86
O = N/A
T = TO
O = 229
T = 3.31
O = 332
T = 284.69
O = 332
T = 0.71
O = 448
T = 0.79
s2v200c1800-4.cnf O = 221
T = 2.52
O = 221
T = 5.09
O = 221
T = 2.52
O = 256
T = 208.86
O = N/A
T = TO
O = 221
T = 4.15
O = 339
T = 284.65
O = N/A
T = TO
O = 431
T = 0.91
s2v200c1800-5.cnf O = 220
T = 3.75
O = 220
T = 5.25
O = 220
T = 4.06
O = 257
T = 35.49
O = N/A
T = TO
O = 220
T = 3.75
O = 344
T = 284.66
O = 344
T = 1.12
O = 440
T = 0.62
s2v200c1800-6.cnf O = 228
T = 2.56
O = 228
T = 4.68
O = 228
T = 2.56
O = 265
T = 169.52
O = N/A
T = TO
O = 228
T = 3.96
O = 345
T = 284.58
O = 345
T = 0.79
O = 432
T = 0.92
s2v200c1800-7.cnf O = 226
T = 3.81
O = 226
T = 4.67
O = 226
T = 4.27
O = 271
T = 205.17
O = N/A
T = TO
O = 226
T = 3.81
O = 346
T = 284.48
O = 346
T = 0.94
O = 431
T = 1.01
s3v110c1000-1.cnf O = 30
T = 1.82
O = 30
T = 2.34
O = 30
T = 2.67
O = 43
T = 232.44
O = N/A
T = TO
O = 30
T = 1.82
O = 83
T = 284.68
O = 95
T = 0.50
O = 133
T = 0.89
s3v110c1000-10.cnf O = 31
T = 1.44
O = 31
T = 17.48
O = 31
T = 2.87
O = 40
T = 66.35
O = N/A
T = TO
O = 31
T = 1.44
O = 85
T = 284.65
O = 102
T = 0.94
O = 126
T = 0.67
s3v110c1000-2.cnf O = 27
T = 1.67
O = 27
T = 2.90
O = 27
T = 2.93
O = 35
T = 272.61
O = N/A
T = TO
O = 27
T = 1.67
O = 73
T = 284.67
O = 80
T = 0.76
O = 100
T = 0.85
s3v110c1000-3.cnf O = 28
T = 1.26
O = 28
T = 2.78
O = 28
T = 2.50
O = 34
T = 98.39
O = N/A
T = TO
O = 28
T = 1.26
O = 105
T = 284.58
O = 82
T = 1.01
O = 132
T = 1.01
s3v110c1000-4.cnf O = 29
T = 1.85
O = 29
T = 2.65
O = 29
T = 2.70
O = 39
T = 55.35
O = N/A
T = TO
O = 29
T = 1.85
O = 99
T = 284.69
O = 95
T = 1.11
O = 139
T = 0.96
s3v110c1000-5.cnf O = 30
T = 2.18
O = 30
T = 2.44
O = 30
T = 3.28
O = 40
T = 283.12
O = N/A
T = TO
O = 30
T = 2.18
O = 103
T = 284.71
O = 78
T = 0.82
O = 133
T = 1.02
s3v110c1000-6.cnf O = 33
T = 1.80
O = 33
T = 2.11
O = 33
T = 2.46
O = 39
T = 26.69
O = N/A
T = TO
O = 33
T = 1.80
O = 104
T = 284.43
O = 90
T = 0.98
O = 114
T = 1.20
s3v110c1000-7.cnf O = 31
T = 2.10
O = 31
T = 2.84
O = 31
T = 2.10
O = 39
T = 206.00
O = N/A
T = TO
O = 31
T = 2.13
O = 111
T = 284.55
O = 96
T = 1.16
O = 113
T = 0.79
s3v110c1000-8.cnf O = 26
T = 1.96
O = 26
T = 2.87
O = 26
T = 2.69
O = 36
T = 162.96
O = N/A
T = TO
O = 26
T = 1.96
O = 91
T = 284.56
O = 97
T = 0.66
O = 113
T = 1.05
s3v110c1000-9.cnf O = 29
T = 1.85
O = 29
T = 2.82
O = 29
T = 1.85
O = 38
T = 5.40
O = N/A
T = TO
O = 29
T = 1.92
O = 77
T = 284.58
O = 71
T = 0.68
O = 127
T = 0.89
s3v110c1100-1.cnf O = 34
T = 1.41
O = 34
T = 2.05
O = 34
T = 2.56
O = 45
T = 215.22
O = N/A
T = TO
O = 34
T = 1.41
O = 126
T = 284.64
O = 87
T = 1.12
O = 122
T = 1.02
s3v110c1100-10.cnf O = 36
T = 1.80
O = 36
T = 1.80
O = 36
T = 2.68
O = 46
T = 26.60
O = N/A
T = TO
O = 36
T = 2.65
O = 98
T = 284.68
O = 99
T = 0.70
O = 136
T = 0.70
s3v110c1100-2.cnf O = 37
T = 1.69
O = 37
T = 16.02
O = 37
T = 1.69
O = 49
T = 143.36
O = N/A
T = TO
O = 37
T = 1.91
O = 90
T = 284.71
O = 109
T = 0.87
O = 150
T = 0.94
s3v110c1100-3.cnf O = 38
T = 1.97
O = 38
T = 3.92
O = 38
T = 3.00
O = 47
T = 94.99
O = N/A
T = TO
O = 38
T = 1.97
O = 99
T = 284.75
O = 88
T = 0.95
O = 146
T = 1.41
s3v110c1100-4.cnf O = 39
T = 2.00
O = 39
T = 2.40
O = 39
T = 2.33
O = 50
T = 72.86
O = N/A
T = TO
O = 39
T = 2.00
O = 107
T = 284.76
O = 98
T = 1.04
O = 153
T = 0.84
s3v110c1100-5.cnf O = 39
T = 1.59
O = 39
T = 2.75
O = 39
T = 2.14
O = 50
T = 33.91
O = N/A
T = TO
O = 39
T = 1.59
O = 117
T = 284.74
O = 105
T = 1.04
O = 155
T = 1.01
s3v110c1100-6.cnf O = 38
T = 1.38
O = 38
T = 1.61
O = 38
T = 2.74
O = 47
T = 166.59
O = N/A
T = TO
O = 38
T = 1.38
O = 88
T = 284.70
O = 89
T = 1.19
O = 139
T = 1.18
s3v110c1100-7.cnf O = 38
T = 1.76
O = 38
T = 3.26
O = 38
T = 1.76
O = 49
T = 248.16
O = N/A
T = TO
O = 38
T = 2.09
O = 106
T = 284.55
O = 102
T = 0.58
O = 141
T = 0.76
s3v110c1100-8.cnf O = 35
T = 1.68
O = 35
T = 4.97
O = 35
T = 2.28
O = 47
T = 177.34
O = N/A
T = TO
O = 35
T = 1.68
O = 123
T = 284.64
O = 105
T = 0.96
O = 165
T = 1.02
s3v110c1100-9.cnf O = 36
T = 2.16
O = 36
T = 3.06
O = 36
T = 2.16
O = 48
T = 184.90
O = N/A
T = TO
O = 36
T = 2.37
O = 93
T = 284.75
O = 112
T = 1.09
O = 130
T = 0.99
s3v110c700-1.cnf O = 11
T = 1.51
O = 11
T = 2.61
O = 11
T = 2.85
O = 14
T = 35.30
O = N/A
T = TO
O = 11
T = 1.51
O = 44
T = 284.72
O = 44
T = 0.84
O = 88
T = 1.16
s3v110c700-10.cnf O = 9
T = 1.35
O = 9
T = 2.95
O = 9
T = 2.73
O = 9
T = 7.31
O = N/A
T = TO
O = 9
T = 1.35
O = 46
T = 284.72
O = 40
T = 0.91
O = 88
T = 1.11
s3v110c700-2.cnf O = 12
T = 1.79
O = 12
T = 2.28
O = 12
T = 2.25
O = 13
T = 113.08
O = N/A
T = TO
O = 12
T = 1.79
O = 65
T = 284.33
O = 44
T = 1.12
O = 84
T = 0.93
s3v110c700-3.cnf O = 10
T = 1.68
O = 10
T = 2.51
O = 10
T = 2.25
O = 10
T = 177.04
O = N/A
T = TO
O = 10
T = 1.68
O = 52
T = 284.52
O = 46
T = 0.63
O = 79
T = 1.34
s3v110c700-4.cnf O = 11
T = 1.61
O = 11
T = 2.36
O = 11
T = 2.17
O = 13
T = 176.87
O = N/A
T = TO
O = 11
T = 1.61
O = 52
T = 284.71
O = 65
T = 1.12
O = 83
T = 0.96
s3v110c700-5.cnf O = 10
T = 1.74
O = 10
T = 2.35
O = 10
T = 2.26
O = 11
T = 103.74
O = N/A
T = TO
O = 10
T = 1.74
O = 51
T = 284.73
O = 54
T = 1.14
O = 92
T = 0.81
s3v110c700-6.cnf O = 11
T = 1.62
O = 11
T = 2.57
O = 11
T = 2.26
O = 13
T = 203.83
O = N/A
T = TO
O = 11
T = 1.62
O = 59
T = 284.52
O = 41
T = 1.09
O = 81
T = 1.42
s3v110c700-7.cnf O = 9
T = 0.71
O = 9
T = 2.33
O = 9
T = 1.97
O = 10
T = 56.65
O = N/A
T = TO
O = 9
T = 0.71
O = 39
T = 284.49
O = 45
T = 1.18
O = 82
T = 0.85
s3v110c700-8.cnf O = 11
T = 1.04
O = 11
T = 2.34
O = 11
T = 2.85
O = 13
T = 172.23
O = N/A
T = TO
O = 11
T = 1.04
O = 46
T = 284.65
O = 46
T = 1.08
O = 98
T = 1.20
s3v110c700-9.cnf O = 10
T = 1.68
O = 10
T = 2.80
O = 10
T = 1.92
O = 11
T = 40.03
O = N/A
T = TO
O = 10
T = 1.68
O = 59
T = 284.57
O = 55
T = 1.05
O = 89
T = 1.24
s3v110c800-1.cnf O = 17
T = 1.76
O = 17
T = 2.23
O = 17
T = 2.34
O = 22
T = 6.90
O = N/A
T = TO
O = 17
T = 1.76
O = 88
T = 284.64
O = 80
T = 0.91
O = 92
T = 1.29
s3v110c800-10.cnf O = 14
T = 2.01
O = 14
T = 2.23
O = 14
T = 2.27
O = 17
T = 7.88
O = N/A
T = TO
O = 14
T = 2.01
O = 58
T = 284.65
O = 70
T = 1.16
O = 114
T = 0.83
s3v110c800-2.cnf O = 17
T = 1.68
O = 17
T = 2.02
O = 17
T = 2.76
O = 21
T = 240.05
O = N/A
T = TO
O = 17
T = 1.68
O = 63
T = 284.76
O = 82
T = 0.97
O = 96
T = 0.74
s3v110c800-3.cnf O = 15
T = 1.20
O = 15
T = 2.35
O = 15
T = 2.26
O = 16
T = 24.60
O = N/A
T = TO
O = 15
T = 1.20
O = 64
T = 284.42
O = 68
T = 1.04
O = 97
T = 1.13
s3v110c800-4.cnf O = 18
T = 1.49
O = 18
T = 2.36
O = 18
T = 2.22
O = 21
T = 104.14
O = N/A
T = TO
O = 18
T = 1.49
O = 59
T = 284.69
O = 66
T = 0.62
O = 103
T = 1.08
s3v110c800-5.cnf O = 17
T = 1.40
O = 17
T = 2.03
O = 17
T = 3.29
O = 21
T = 28.94
O = N/A
T = TO
O = 17
T = 1.40
O = 68
T = 284.60
O = 64
T = 0.99
O = 93
T = 1.31
s3v110c800-6.cnf O = 18
T = 1.90
O = 18
T = 2.57
O = 18
T = 2.12
O = 22
T = 78.77
O = N/A
T = TO
O = 18
T = 1.90
O = 52
T = 284.54
O = 64
T = 1.09
O = 92
T = 1.47
s3v110c800-7.cnf O = 16
T = 1.76
O = 16
T = 2.94
O = 16
T = 2.28
O = 20
T = 208.88
O = N/A
T = TO
O = 16
T = 1.76
O = 55
T = 284.73
O = 68
T = 1.11
O = 102
T = 1.22
s3v110c800-8.cnf O = 17
T = 1.52
O = 17
T = 3.20
O = 17
T = 2.35
O = 21
T = 149.52
O = N/A
T = TO
O = 17
T = 1.52
O = 66
T = 284.77
O = 71
T = 1.29
O = 118
T = 1.33
s3v110c800-9.cnf O = 16
T = 1.71
O = 16
T = 2.73
O = 16
T = 2.92
O = 20
T = 163.19
O = N/A
T = TO
O = 16
T = 1.71
O = 61
T = 284.72
O = 67
T = 1.11
O = 103
T = 0.76
s3v110c900-1.cnf O = 22
T = 1.60
O = 22
T = 2.86
O = 22
T = 1.98
O = 27
T = 162.09
O = N/A
T = TO
O = 22
T = 1.60
O = 81
T = 284.73
O = 81
T = 0.59
O = 118
T = 0.85
s3v110c900-10.cnf O = 21
T = 1.69
O = 21
T = 3.17
O = 21
T = 3.09
O = 29
T = 166.50
O = N/A
T = TO
O = 21
T = 1.69
O = 83
T = 284.68
O = 69
T = 0.92
O = 115
T = 1.27
s3v110c900-2.cnf O = 22
T = 1.25
O = 22
T = 3.05
O = 22
T = 2.20
O = 28
T = 190.31
O = N/A
T = TO
O = 22
T = 1.25
O = 66
T = 284.65
O = 68
T = 1.25
O = 100
T = 0.76
s3v110c900-3.cnf O = 17
T = 1.76
O = 17
T = 2.67
O = 17
T = 1.76
O = 24
T = 11.60
O = N/A
T = TO
O = 17
T = 2.08
O = 78
T = 284.75
O = 80
T = 0.78
O = 104
T = 1.19
s3v110c900-4.cnf O = 21
T = 1.84
O = 21
T = 2.56
O = 21
T = 1.93
O = 26
T = 221.65
O = N/A
T = TO
O = 21
T = 1.84
O = 85
T = 284.54
O = 66
T = 0.82
O = 110
T = 1.21
s3v110c900-5.cnf O = 22
T = 1.43
O = 22
T = 3.21
O = 22
T = 2.27
O = 29
T = 8.44
O = N/A
T = TO
O = 22
T = 1.43
O = 63
T = 284.65
O = 89
T = 0.53
O = 103
T = 0.96
s3v110c900-6.cnf O = 23
T = 1.67
O = 23
T = 2.88
O = 23
T = 1.91
O = 29
T = 103.71
O = N/A
T = TO
O = 23
T = 1.67
O = 83
T = 284.71
O = 78
T = 0.86
O = 125
T = 1.08
s3v110c900-7.cnf O = 21
T = 1.63
O = 21
T = 1.76
O = 21
T = 2.44
O = 27
T = 73.69
O = N/A
T = TO
O = 21
T = 1.63
O = 78
T = 284.74
O = 58
T = 1.18
O = 125
T = 1.14
s3v110c900-8.cnf O = 22
T = 1.59
O = 22
T = 3.34
O = 22
T = 2.24
O = 29
T = 224.54
O = N/A
T = TO
O = 22
T = 1.59
O = 81
T = 284.71
O = 72
T = 0.92
O = 116
T = 1.24
s3v110c900-9.cnf O = 26
T = 1.06
O = 26
T = 2.96
O = 26
T = 2.25
O = 32
T = 61.09
O = N/A
T = TO
O = 26
T = 1.06
O = 75
T = 284.54
O = 74
T = 0.80
O = 103
T = 1.59
s3v70c1000-1.cnf O = 47
T = 1.23
O = 47
T = 1.81
O = 47
T = 1.23
O = 55
T = 41.30
O = N/A
T = TO
O = 47
T = 1.30
O = 88
T = 284.74
O = 99
T = 1.20
O = 120
T = 1.60
s3v70c1000-2.cnf O = 43
T = 1.00
O = 43
T = 1.86
O = 43
T = 1.00
O = 52
T = 48.95
O = N/A
T = TO
O = 43
T = 1.27
O = 89
T = 284.49
O = 100
T = 0.59
O = 127
T = 1.61
s3v70c1000-3.cnf O = 45
T = 1.13
O = 45
T = 7.32
O = 45
T = 2.31
O = 56
T = 291.33
O = N/A
T = TO
O = 45
T = 1.13
O = 102
T = 284.67
O = 102
T = 0.62
O = 133
T = 1.33
s3v70c1000-4.cnf O = 47
T = 1.39
O = 47
T = 2.19
O = 47
T = 2.13
O = 57
T = 164.80
O = N/A
T = TO
O = 47
T = 1.39
O = 96
T = 284.71
O = 99
T = 0.97
O = 118
T = 1.55
s3v70c1000-5.cnf O = 42
T = 1.29
O = 42
T = 1.86
O = 42
T = 1.29
O = 51
T = 193.41
O = N/A
T = TO
O = 42
T = 1.37
O = 97
T = 284.73
O = 94
T = 0.74
O = 127
T = 1.55
s3v70c1100-1.cnf O = 56
T = 1.08
O = 56
T = 2.21
O = 56
T = 1.23
O = 64
T = 44.42
O = N/A
T = TO
O = 56
T = 1.08
O = 101
T = 284.67
O = 117
T = 0.85
O = 130
T = 1.26
s3v70c1100-2.cnf O = 55
T = 1.19
O = 55
T = 2.21
O = 55
T = 1.67
O = 63
T = 155.15
O = N/A
T = TO
O = 55
T = 1.19
O = 115
T = 284.57
O = 116
T = 0.89
O = 143
T = 1.24
s3v70c1100-3.cnf O = 53
T = 1.48
O = 53
T = 2.57
O = 53
T = 1.77
O = 64
T = 75.71
O = N/A
T = TO
O = 53
T = 1.48
O = 115
T = 284.75
O = 102
T = 0.89
O = 145
T = 1.51
s3v70c1100-4.cnf O = 52
T = 0.88
O = 52
T = 2.22
O = 52
T = 1.83
O = 63
T = 19.17
O = N/A
T = TO
O = 52
T = 0.88
O = 80
T = 284.68
O = 120
T = 1.02
O = 129
T = 1.54
s3v70c1100-5.cnf O = 53
T = 1.02
O = 53
T = 2.04
O = 53
T = 2.55
O = 63
T = 187.19
O = N/A
T = TO
O = 53
T = 1.02
O = 113
T = 284.69
O = 101
T = 0.80
O = 137
T = 1.37
s3v70c1200-1.cnf O = 66
T = 1.08
O = 66
T = 2.18
O = 66
T = 1.69
O = 76
T = 117.34
O = N/A
T = TO
O = 66
T = 1.08
O = 122
T = 284.48
O = 122
T = 0.96
O = 141
T = 1.46
s3v70c1200-2.cnf O = 63
T = 1.57
O = 63
T = 1.94
O = 63
T = 1.57
O = 70
T = 135.59
O = N/A
T = TO
O = 63
T = 1.67
O = 110
T = 284.58
O = 129
T = 0.74
O = 159
T = 1.34
s3v70c1200-3.cnf O = 65
T = 1.20
O = 65
T = 2.18
O = 65
T = 1.20
O = 77
T = 113.95
O = N/A
T = TO
O = 65
T = 1.27
O = 146
T = 284.75
O = 144
T = 0.99
O = 157
T = 1.59
s3v70c1200-4.cnf O = 67
T = 0.74
O = 67
T = 1.85
O = 67
T = 1.07
O = 79
T = 149.67
O = N/A
T = TO
O = 67
T = 0.74
O = 138
T = 284.47
O = 142
T = 1.17
O = 142
T = 1.49
s3v70c1200-5.cnf O = 65
T = 0.91
O = 65
T = 2.16
O = 65
T = 1.21
O = 74
T = 114.33
O = N/A
T = TO
O = 65
T = 0.91
O = 131
T = 284.57
O = 143
T = 1.02
O = 156
T = 1.59
s3v70c1300-1.cnf O = 75
T = 1.29
O = 75
T = 2.02
O = 75
T = 1.29
O = 88
T = 131.53
O = N/A
T = TO
O = 75
T = 1.39
O = 156
T = 284.64
O = 134
T = 0.81
O = 160
T = 0.79
s3v70c1300-2.cnf O = 74
T = 1.34
O = 74
T = 1.99
O = 74
T = 1.50
O = 85
T = 123.08
O = N/A
T = TO
O = 74
T = 1.34
O = 153
T = 284.71
O = 143
T = 0.87
O = 152
T = 1.36
s3v70c1300-3.cnf O = 70
T = 1.23
O = 70
T = 2.28
O = 70
T = 1.79
O = 83
T = 179.30
O = N/A
T = TO
O = 70
T = 1.23
O = 142
T = 284.62
O = 145
T = 0.95
O = 170
T = 1.26
s3v70c1300-4.cnf O = 68
T = 1.10
O = 68
T = 2.38
O = 68
T = 2.43
O = 82
T = 105.17
O = N/A
T = TO
O = 68
T = 1.10
O = 158
T = 284.66
O = 116
T = 0.95
O = 158
T = 1.53
s3v70c1300-5.cnf O = 70
T = 0.94
O = 70
T = 2.63
O = 70
T = 2.12
O = 82
T = 82.58
O = N/A
T = TO
O = 70
T = 0.94
O = 136
T = 284.62
O = 136
T = 0.87
O = 184
T = 1.21
s3v70c1400-1.cnf O = 78
T = 1.39
O = 78
T = 1.81
O = 78
T = 2.34
O = 93
T = 181.88
O = N/A
T = TO
O = 78
T = 1.39
O = 136
T = 284.64
O = 161
T = 1.02
O = 164
T = 1.63
s3v70c1400-2.cnf O = 83
T = 1.91
O = 83
T = 1.91
O = 83
T = 2.15
O = 96
T = 89.72
O = N/A
T = TO
O = 84
T = 0.97
O = 160
T = 284.73
O = 150
T = 0.85
O = 158
T = 0.94
s3v70c1400-3.cnf O = 79
T = 0.82
O = 79
T = 2.24
O = 79
T = 0.82
O = 96
T = 26.80
O = N/A
T = TO
O = 79
T = 1.04
O = 150
T = 284.65
O = 147
T = 0.81
O = 172
T = 0.97
s3v70c1400-4.cnf O = 75
T = 1.62
O = 75
T = 1.62
O = 75
T = 2.70
O = 89
T = 107.53
O = N/A
T = TO
O = 75
T = 1.73
O = 148
T = 284.60
O = 145
T = 1.03
O = 175
T = 1.55
s3v70c1400-5.cnf O = 82
T = 1.32
O = 82
T = 1.84
O = 82
T = 2.29
O = 100
T = 146.51
O = N/A
T = TO
O = 82
T = 1.32
O = 149
T = 284.69
O = 133
T = 0.79
O = 199
T = 0.86
s3v70c1500-1.cnf O = 90
T = 1.07
O = 90
T = 1.80
O = 90
T = 1.07
O = 104
T = 52.27
O = N/A
T = TO
O = 90
T = 1.51
O = 162
T = 284.74
O = 194
T = 0.93
O = 177
T = 1.44
s3v70c1500-2.cnf O = 89
T = 1.19
O = 89
T = 1.88
O = 89
T = 2.03
O = 104
T = 65.12
O = N/A
T = TO
O = 89
T = 1.19
O = 145
T = 284.66
O = 153
T = 1.01
O = 178
T = 1.50
s3v70c1500-3.cnf O = 86
T = 1.28
O = 86
T = 2.00
O = 86
T = 1.99
O = 101
T = 38.16
O = N/A
T = TO
O = 86
T = 1.28
O = 140
T = 284.73
O = 164
T = 1.01
O = 172
T = 1.30
s3v70c1500-4.cnf O = 91
T = 1.03
O = 91
T = 4.67
O = 91
T = 2.07
O = 102
T = 61.71
O = N/A
T = TO
O = 91
T = 1.03
O = 137
T = 284.72
O = 162
T = 0.91
O = 190
T = 0.86
s3v70c1500-5.cnf O = 94
T = 1.26
O = 94
T = 2.41
O = 94
T = 1.44
O = 107
T = 61.13
O = N/A
T = TO
O = 94
T = 1.26
O = 163
T = 284.64
O = 179
T = 0.95
O = 184
T = 1.15
s3v70c700-1.cnf O = 21
T = 1.37
O = 21
T = 1.52
O = 21
T = 2.00
O = 22
T = 82.34
O = N/A
T = TO
O = 21
T = 1.37
O = 65
T = 284.70
O = 57
T = 1.00
O = 82
T = 1.28
s3v70c700-2.cnf O = 21
T = 1.26
O = 21
T = 1.60
O = 21
T = 2.02
O = 24
T = 4.14
O = N/A
T = TO
O = 21
T = 1.26
O = 67
T = 284.67
O = 55
T = 0.75
O = 85
T = 1.34
s3v70c700-3.cnf O = 25
T = 1.24
O = 25
T = 7.30
O = 25
T = 1.85
O = 28
T = 107.85
O = N/A
T = TO
O = 25
T = 1.24
O = 68
T = 284.67
O = 72
T = 0.59
O = 89
T = 1.18
s3v70c700-4.cnf O = 24
T = 0.74
O = 24
T = 0.74
O = 24
T = 2.13
O = 26
T = 124.06
O = N/A
T = TO
O = 24
T = 1.29
O = 70
T = 284.68
O = 56
T = 0.87
O = 89
T = 1.16
s3v70c700-5.cnf O = 22
T = 0.74
O = 22
T = 1.84
O = 22
T = 2.30
O = 24
T = 18.52
O = N/A
T = TO
O = 22
T = 0.74
O = 52
T = 284.69
O = 46
T = 0.96
O = 85
T = 1.05
s3v70c800-1.cnf O = 31
T = 1.02
O = 31
T = 3.20
O = 31
T = 1.97
O = 36
T = 52.80
O = N/A
T = TO
O = 31
T = 1.02
O = 63
T = 284.42
O = 73
T = 0.99
O = 97
T = 1.63
s3v70c800-2.cnf O = 34
T = 0.44
O = 34
T = 1.71
O = 34
T = 1.61
O = 40
T = 102.31
O = N/A
T = TO
O = 34
T = 0.44
O = 66
T = 284.61
O = 65
T = 1.05
O = 101
T = 1.35
s3v70c800-3.cnf O = 30
T = 0.95
O = 30
T = 2.51
O = 30
T = 1.90
O = 33
T = 182.53
O = N/A
T = TO
O = 30
T = 0.95
O = 87
T = 284.57
O = 89
T = 0.92
O = 103
T = 1.39
s3v70c800-4.cnf O = 28
T = 1.19
O = 28
T = 1.19
O = 28
T = 1.54
O = 32
T = 283.34
O = N/A
T = TO
O = 28
T = 1.26
O = 81
T = 284.44
O = 70
T = 0.81
O = 121
T = 1.05
s3v70c800-5.cnf O = 31
T = 1.08
O = 31
T = 1.82
O = 31
T = 2.09
O = 36
T = 26.47
O = N/A
T = TO
O = 31
T = 1.08
O = 78
T = 284.76
O = 70
T = 1.04
O = 88
T = 1.18
s3v70c900-1.cnf O = 39
T = 0.44
O = 39
T = 1.50
O = 39
T = 1.86
O = 43
T = 172.57
O = N/A
T = TO
O = 39
T = 0.44
O = 86
T = 284.73
O = 85
T = 0.98
O = 108
T = 1.10
s3v70c900-2.cnf O = 38
T = 1.36
O = 38
T = 2.02
O = 38
T = 1.36
O = 42
T = 290.17
O = N/A
T = TO
O = 38
T = 1.71
O = 95
T = 284.51
O = 83
T = 1.13
O = 114
T = 0.61
s3v70c900-3.cnf O = 39
T = 1.05
O = 39
T = 2.14
O = 39
T = 2.29
O = 45
T = 183.00
O = N/A
T = TO
O = 39
T = 1.05
O = 93
T = 284.76
O = 84
T = 0.92
O = 122
T = 1.32
s3v70c900-4.cnf O = 39
T = 0.98
O = 39
T = 1.88
O = 39
T = 2.13
O = 47
T = 182.55
O = N/A
T = TO
O = 39
T = 0.98
O = 84
T = 284.64
O = 93
T = 0.94
O = 112
T = 1.18
s3v70c900-5.cnf O = 40
T = 1.12
O = 40
T = 1.50
O = 40
T = 2.13
O = 46
T = 59.41
O = N/A
T = TO
O = 40
T = 1.12
O = 81
T = 284.68
O = 101
T = 0.99
O = 108
T = 1.48
s3v90c1000-1.cnf O = 34
T = 1.25
O = 34
T = 2.04
O = 34
T = 2.35
O = 43
T = 93.24
O = N/A
T = TO
O = 34
T = 1.25
O = 106
T = 284.70
O = 78
T = 1.09
O = 129
T = 1.37
s3v90c1000-2.cnf O = 38
T = 1.22
O = 38
T = 3.79
O = 38
T = 2.43
O = 46
T = 137.05
O = N/A
T = TO
O = 38
T = 1.22
O = 101
T = 284.60
O = 109
T = 0.80
O = 111
T = 1.08
s3v90c1000-3.cnf O = 39
T = 1.39
O = 39
T = 2.43
O = 39
T = 2.65
O = 48
T = 265.47
O = N/A
T = TO
O = 39
T = 1.39
O = 100
T = 284.54
O = 117
T = 0.98
O = 138
T = 1.26
s3v90c1000-4.cnf O = 34
T = 1.27
O = 34
T = 2.28
O = 34
T = 2.48
O = 40
T = 257.15
O = N/A
T = TO
O = 34
T = 1.27
O = 111
T = 284.63
O = 109
T = 1.15
O = 100
T = 1.09
s3v90c1000-5.cnf O = 41
T = 1.41
O = 41
T = 2.67
O = 41
T = 1.52
O = 50
T = 234.58
O = N/A
T = TO
O = 41
T = 1.41
O = 93
T = 284.52
O = 106
T = 0.85
O = 125
T = 1.20
s3v90c1000-6.cnf O = 41
T = 1.80
O = 41
T = 2.95
O = 41
T = 2.02
O = 51
T = 158.30
O = N/A
T = TO
O = 41
T = 1.80
O = 83
T = 284.77
O = 85
T = 1.03
O = 125
T = 1.28
s3v90c1000-7.cnf O = 38
T = 1.46
O = 38
T = 1.94
O = 38
T = 2.22
O = 46
T = 162.17
O = N/A
T = TO
O = 38
T = 1.46
O = 102
T = 284.67
O = 107
T = 1.07
O = 113
T = 1.28
s3v90c1100-1.cnf O = 44
T = 1.41
O = 44
T = 2.94
O = 44
T = 2.81
O = 55
T = 248.49
O = N/A
T = TO
O = 44
T = 1.41
O = 99
T = 284.63
O = 124
T = 0.82
O = 147
T = 1.29
s3v90c1100-2.cnf O = 44
T = 0.55
O = 44
T = 1.83
O = 44
T = 2.49
O = 54
T = 111.03
O = N/A
T = TO
O = 44
T = 0.55
O = 115
T = 284.67
O = 105
T = 1.11
O = 138
T = 1.51
s3v90c1100-3.cnf O = 47
T = 1.56
O = 47
T = 34.31
O = 47
T = 2.78
O = 57
T = 35.37
O = N/A
T = TO
O = 47
T = 1.56
O = 101
T = 284.74
O = 114
T = 1.01
O = 144
T = 1.60
s3v90c1100-4.cnf O = 43
T = 1.37
O = 43
T = 2.30
O = 43
T = 1.59
O = 54
T = 122.52
O = N/A
T = TO
O = 43
T = 1.37
O = 107
T = 284.69
O = 110
T = 1.22
O = 116
T = 1.33
s3v90c1100-5.cnf O = 44
T = 1.62
O = 44
T = 2.05
O = 44
T = 1.67
O = 57
T = 42.50
O = N/A
T = TO
O = 44
T = 1.62
O = 126
T = 284.71
O = 99
T = 1.00
O = 132
T = 1.33
s3v90c1100-6.cnf O = 47
T = 1.54
O = 47
T = 8.05
O = 47
T = 2.03
O = 61
T = 69.11
O = N/A
T = TO
O = 47
T = 1.54
O = 107
T = 284.48
O = 118
T = 1.12
O = 131
T = 1.47
s3v90c1100-7.cnf O = 47
T = 1.60
O = 47
T = 4.04
O = 47
T = 2.57
O = 60
T = 5.47
O = N/A
T = TO
O = 47
T = 1.60
O = 105
T = 284.70
O = 106
T = 0.66
O = 147
T = 1.47
s3v90c1200-1.cnf O = 47
T = 1.46
O = 47
T = 1.81
O = 47
T = 2.40
O = 63
T = 32.35
O = N/A
T = TO
O = 47
T = 1.46
O = 121
T = 284.47
O = 123
T = 1.15
O = 142
T = 1.33
s3v90c1200-2.cnf O = 54
T = 1.71
O = 54
T = 11.68
O = 54
T = 1.77
O = 66
T = 211.40
O = N/A
T = TO
O = 54
T = 1.71
O = 118
T = 284.62
O = 112
T = 0.94
O = 148
T = 1.06
s3v90c1200-3.cnf O = 50
T = 1.91
O = 50
T = 2.60
O = 50
T = 2.19
O = 60
T = 262.32
O = N/A
T = TO
O = 50
T = 1.91
O = 125
T = 284.71
O = 133
T = 0.66
O = 139
T = 1.46
s3v90c1200-4.cnf O = 55
T = 0.91
O = 55
T = 2.42
O = 55
T = 2.05
O = 71
T = 43.13
O = N/A
T = TO
O = 55
T = 0.91
O = 111
T = 284.33
O = 110
T = 1.17
O = 163
T = 1.49
s3v90c1200-5.cnf O = 59
T = 1.36
O = 59
T = 1.79
O = 59
T = 1.87
O = 74
T = 55.80
O = N/A
T = TO
O = 59
T = 1.36
O = 115
T = 284.68
O = 112
T = 0.74
O = 120
T = 1.48
s3v90c1200-6.cnf O = 55
T = 1.21
O = 55
T = 2.72
O = 55
T = 2.05
O = 63
T = 274.04
O = N/A
T = TO
O = 55
T = 1.21
O = 131
T = 284.69
O = 132
T = 1.28
O = 143
T = 1.45
s3v90c1200-7.cnf O = 55
T = 1.98
O = 55
T = 2.80
O = 55
T = 2.12
O = 64
T = 50.66
O = N/A
T = TO
O = 55
T = 1.98
O = 133
T = 284.67
O = 122
T = 0.92
O = 120
T = 1.32
s3v90c1300-1.cnf O = 60
T = 2.12
O = 60
T = 3.18
O = 60
T = 2.24
O = 81
T = 128.98
O = N/A
T = TO
O = 60
T = 2.12
O = 113
T = 284.50
O = 124
T = 1.10
O = 154
T = 1.14
s3v90c1300-2.cnf O = 64
T = 1.20
O = 64
T = 2.10
O = 64
T = 1.20
O = 82
T = 246.51
O = N/A
T = TO
O = 64
T = 2.11
O = 144
T = 284.71
O = 149
T = 1.17
O = 163
T = 1.24
s3v90c1300-3.cnf O = 64
T = 0.87
O = 64
T = 1.93
O = 64
T = 1.95
O = 77
T = 125.52
O = N/A
T = TO
O = 64
T = 0.87
O = 133
T = 284.57
O = 116
T = 1.18
O = 166
T = 1.25
s3v90c1300-4.cnf O = 63
T = 1.86
O = 63
T = 2.26
O = 63
T = 2.21
O = 80
T = 97.94
O = N/A
T = TO
O = 63
T = 1.86
O = 121
T = 284.58
O = 155
T = 1.00
O = 165
T = 1.14
s3v90c1300-5.cnf O = 58
T = 1.42
O = 58
T = 2.09
O = 58
T = 2.51
O = 76
T = 103.71
O = N/A
T = TO
O = 58
T = 1.42
O = 131
T = 284.74
O = 138
T = 0.99
O = 160
T = 1.63
s3v90c1300-6.cnf O = 59
T = 1.09
O = 59
T = 2.34
O = 59
T = 2.11
O = 69
T = 32.56
O = N/A
T = TO
O = 59
T = 1.09
O = 141
T = 284.60
O = 150
T = 1.18
O = 189
T = 1.48
s3v90c1300-7.cnf O = 63
T = 2.01
O = 63
T = 2.16
O = 63
T = 2.57
O = 79
T = 183.49
O = N/A
T = TO
O = 63
T = 2.01
O = 141
T = 284.75
O = 156
T = 0.72
O = 146
T = 1.34
s3v90c700-1.cnf O = 16
T = 1.42
O = 16
T = 1.61
O = 16
T = 1.42
O = 20
T = 34.37
O = N/A
T = TO
O = 16
T = 1.67
O = 65
T = 284.53
O = 65
T = 1.35
O = 81
T = 1.16
s3v90c700-2.cnf O = 17
T = 1.61
O = 17
T = 2.72
O = 17
T = 1.95
O = 20
T = 54.84
O = N/A
T = TO
O = 17
T = 1.61
O = 54
T = 284.43
O = 60
T = 0.80
O = 91
T = 1.41
s3v90c700-3.cnf O = 15
T = 1.57
O = 15
T = 1.57
O = 15
T = 1.59
O = 16
T = 197.00
O = N/A
T = TO
O = 15
T = 1.70
O = 65
T = 284.73
O = 44
T = 0.70
O = 75
T = 1.55
s3v90c700-4.cnf O = 18
T = 1.57
O = 18
T = 1.78
O = 18
T = 1.57
O = 20
T = 51.27
O = N/A
T = TO
O = 18
T = 1.81
O = 67
T = 284.61
O = 53
T = 1.03
O = 92
T = 1.51
s3v90c700-5.cnf O = 16
T = 1.70
O = 16
T = 1.71
O = 16
T = 2.28
O = 17
T = 280.58
O = N/A
T = TO
O = 16
T = 1.70
O = 78
T = 284.68
O = 46
T = 0.81
O = 78
T = 1.56
s3v90c700-6.cnf O = 18
T = 1.43
O = 18
T = 1.43
O = 18
T = 2.09
O = 23
T = 15.60
O = N/A
T = TO
O = 18
T = 1.50
O = 47
T = 284.76
O = 64
T = 1.09
O = 78
T = 1.42
s3v90c700-7.cnf O = 18
T = 1.48
O = 18
T = 1.56
O = 18
T = 1.59
O = 20
T = 69.51
O = N/A
T = TO
O = 18
T = 1.48
O = 50
T = 284.43
O = 71
T = 1.02
O = 85
T = 1.19
s3v90c800-1.cnf O = 22
T = 1.58
O = 22
T = 2.31
O = 22
T = 1.87
O = 27
T = 163.91
O = N/A
T = TO
O = 22
T = 1.58
O = 59
T = 284.53
O = 77
T = 1.17
O = 90
T = 1.55
s3v90c800-2.cnf O = 23
T = 1.50
O = 23
T = 2.04
O = 23
T = 2.61
O = 26
T = 220.78
O = N/A
T = TO
O = 23
T = 1.50
O = 69
T = 284.42
O = 57
T = 1.05
O = 105
T = 1.44
s3v90c800-3.cnf O = 23
T = 0.96
O = 23
T = 2.03
O = 23
T = 1.69
O = 27
T = 214.63
O = N/A
T = TO
O = 23
T = 0.96
O = 77
T = 284.75
O = 62
T = 1.34
O = 109
T = 1.56
s3v90c800-4.cnf O = 20
T = 1.71
O = 20
T = 2.18
O = 20
T = 2.31
O = 26
T = 73.82
O = N/A
T = TO
O = 20
T = 1.71
O = 63
T = 284.65
O = 61
T = 1.06
O = 105
T = 1.47
s3v90c800-5.cnf O = 24
T = 1.10
O = 24
T = 1.10
O = 24
T = 2.40
O = 28
T = 123.05
O = N/A
T = TO
O = 24
T = 1.47
O = 93
T = 284.63
O = 57
T = 1.08
O = 87
T = 1.01
s3v90c800-6.cnf O = 26
T = 1.29
O = 26
T = 2.32
O = 26
T = 1.29
O = 31
T = 157.86
O = N/A
T = TO
O = 26
T = 1.47
O = 69
T = 284.71
O = 75
T = 1.14
O = 104
T = 1.08
s3v90c800-7.cnf O = 24
T = 1.67
O = 24
T = 2.16
O = 24
T = 2.11
O = 26
T = 36.63
O = N/A
T = TO
O = 24
T = 1.67
O = 75
T = 284.78
O = 62
T = 0.66
O = 89
T = 1.13
s3v90c900-1.cnf O = 28
T = 1.58
O = 28
T = 2.54
O = 28
T = 2.71
O = 36
T = 80.35
O = N/A
T = TO
O = 28
T = 1.58
O = 93
T = 284.65
O = 101
T = 1.09
O = 106
T = 0.70
s3v90c900-2.cnf O = 28
T = 1.76
O = 28
T = 2.33
O = 28
T = 2.02
O = 33
T = 157.14
O = N/A
T = TO
O = 28
T = 1.76
O = 87
T = 284.40
O = 85
T = 0.92
O = 133
T = 0.96
s3v90c900-3.cnf O = 32
T = 1.49
O = 32
T = 2.50
O = 32
T = 1.80
O = 40
T = 159.78
O = N/A
T = TO
O = 32
T = 1.49
O = 77
T = 284.73
O = 97
T = 0.77
O = 107
T = 0.91
s3v90c900-4.cnf O = 28
T = 1.69
O = 28
T = 2.16
O = 28
T = 2.27
O = 33
T = 259.64
O = N/A
T = TO
O = 28
T = 1.69
O = 76
T = 284.60
O = 86
T = 1.12
O = 110
T = 0.93
s3v90c900-5.cnf O = 25
T = 1.79
O = 25
T = 2.89
O = 25
T = 2.27
O = 34
T = 45.21
O = N/A
T = TO
O = 25
T = 1.79
O = 82
T = 284.55
O = 90
T = 0.76
O = 123
T = 1.19
s3v90c900-6.cnf O = 30
T = 1.49
O = 30
T = 2.36
O = 30
T = 2.56
O = 35
T = 254.86
O = N/A
T = TO
O = 30
T = 1.49
O = 90
T = 284.63
O = 76
T = 1.01
O = 97
T = 1.02
s3v90c900-7.cnf O = 27
T = 1.51
O = 27
T = 2.52
O = 27
T = 2.16
O = 36
T = 104.20
O = N/A
T = TO
O = 27
T = 1.51
O = 84
T = 284.54
O = 77
T = 1.26
O = 103
T = 1.10
HG-3SAT-V250-C1000-1.cnf O = 5
T = 1.20
O = 5
T = 24.85
O = 5
T = 3.81
O = 14
T = 113.72
O = N/A
T = TO
O = 5
T = 1.20
O = 40
T = 284.54
O = 56
T = 1.04
O = 136
T = 0.99
HG-3SAT-V250-C1000-10.cnf O = 6
T = 2.77
O = 6
T = 4.06
O = 6
T = 3.74
O = 14
T = 227.30
O = N/A
T = TO
O = 6
T = 2.77
O = 56
T = 284.73
O = 50
T = 1.18
O = 142
T = 0.88
HG-3SAT-V250-C1000-100.cnf O = 6
T = 3.44
O = 6
T = 4.13
O = 6
T = 3.44
O = 13
T = 218.38
O = N/A
T = TO
O = 6
T = 3.50
O = 49
T = 284.55
O = 55
T = 1.10
O = 114
T = 0.71
HG-3SAT-V250-C1000-11.cnf O = 6
T = 3.45
O = 6
T = 3.83
O = 6
T = 3.57
O = 12
T = 283.14
O = N/A
T = TO
O = 6
T = 3.45
O = 68
T = 284.68
O = 49
T = 1.43
O = 113
T = 1.03
HG-3SAT-V250-C1000-12.cnf O = 6
T = 4.93
O = 6
T = 15.51
O = 6
T = 4.93
O = 15
T = 36.00
O = N/A
T = TO
O = 6
T = 5.62
O = 60
T = 284.71
O = 51
T = 0.99
O = 128
T = 0.75
HG-3SAT-V250-C1000-13.cnf O = 5
T = 3.41
O = 5
T = 3.57
O = 5
T = 4.24
O = 12
T = 168.98
O = N/A
T = TO
O = 5
T = 3.41
O = 53
T = 284.59
O = 66
T = 1.01
O = 122
T = 0.99
HG-3SAT-V250-C1000-14.cnf O = 5
T = 4.08
O = 5
T = 4.08
O = 5
T = 4.08
O = 11
T = 156.05
O = N/A
T = TO
O = 5
T = 12.74
O = 49
T = 284.63
O = 47
T = 1.33
O = 131
T = 1.12
HG-3SAT-V250-C1000-15.cnf O = 5
T = 2.74
O = 5
T = 4.88
O = 5
T = 7.64
O = 13
T = 119.06
O = N/A
T = TO
O = 5
T = 2.74
O = 48
T = 284.45
O = 54
T = 1.49
O = 132
T = 1.53
HG-3SAT-V250-C1000-16.cnf O = 5
T = 2.59
O = 5
T = 7.26
O = 5
T = 3.80
O = 12
T = 256.17
O = N/A
T = TO
O = 5
T = 2.59
O = 60
T = 284.75
O = 47
T = 1.35
O = 120
T = 1.00
HG-3SAT-V250-C1000-17.cnf O = 6
T = 6.08
O = 6
T = 97.49
O = 6
T = 6.55
O = 14
T = 64.63
O = N/A
T = TO
O = 6
T = 6.08
O = 57
T = 284.28
O = 49
T = 1.15
O = 132
T = 1.25
HG-3SAT-V250-C1000-18.cnf O = 6
T = 3.85
O = 7
T = 3.62
O = 6
T = 3.85
O = 15
T = 180.23
O = N/A
T = TO
O = 6
T = 4.34
O = 58
T = 284.57
O = 52
T = 1.25
O = 120
T = 1.19
HG-3SAT-V250-C1000-19.cnf O = 5
T = 4.95
O = 5
T = 4.95
O = 5
T = 31.78
O = 11
T = 190.74
O = N/A
T = TO
O = 5
T = 6.70
O = 58
T = 284.73
O = 56
T = 1.41
O = 127
T = 1.28
HG-3SAT-V250-C1000-2.cnf O = 5
T = 3.49
O = 5
T = 24.50
O = 5
T = 3.78
O = 12
T = 8.23
O = N/A
T = TO
O = 5
T = 3.49
O = 50
T = 284.63
O = 53
T = 0.57
O = 122
T = 0.77
HG-3SAT-V250-C1000-20.cnf O = 7
T = 2.16
O = 7
T = 4.80
O = 7
T = 4.30
O = 13
T = 100.15
O = N/A
T = TO
O = 7
T = 2.16
O = 44
T = 284.64
O = 65
T = 0.51
O = 132
T = 1.19
HG-3SAT-V250-C1000-21.cnf O = 4
T = 2.95
O = 6
T = 4.49
O = 4
T = 74.68
O = 10
T = 291.39
O = N/A
T = TO
O = 4
T = 2.95
O = 40
T = 284.58
O = 54
T = 0.60
O = 123
T = 1.23
HG-3SAT-V250-C1000-22.cnf O = 5
T = 3.76
O = 7
T = 4.62
O = 5
T = 17.91
O = 13
T = 39.54
O = N/A
T = TO
O = 5
T = 3.76
O = 52
T = 284.64
O = 34
T = 0.51
O = 127
T = 0.97
HG-3SAT-V250-C1000-23.cnf O = 6
T = 3.39
O = 6
T = 4.89
O = 6
T = 3.98
O = 13
T = 99.42
O = N/A
T = TO
O = 6
T = 3.39
O = 51
T = 284.60
O = 43
T = 1.32
O = 134
T = 0.69
HG-3SAT-V250-C1000-24.cnf O = 5
T = 2.66
O = 5
T = 5.66
O = 5
T = 4.12
O = 12
T = 66.38
O = N/A
T = TO
O = 5
T = 2.66
O = 55
T = 284.50
O = 58
T = 0.86
O = 118
T = 0.69
HG-3SAT-V250-C1000-3.cnf O = 5
T = 3.34
O = 5
T = 8.05
O = 5
T = 4.79
O = 14
T = 206.89
O = N/A
T = TO
O = 5
T = 3.34
O = 47
T = 284.40
O = 51
T = 0.73
O = 129
T = 0.84
HG-3SAT-V250-C1000-4.cnf O = 6
T = 3.14
O = 6
T = 208.23
O = 6
T = 5.91
O = 14
T = 166.92
O = N/A
T = TO
O = 6
T = 3.14
O = 44
T = 284.62
O = 54
T = 0.64
O = 112
T = 1.05
HG-3SAT-V250-C1000-5.cnf O = 6
T = 2.76
O = 6
T = 2.76
O = 6
T = 4.33
O = 13
T = 282.15
O = N/A
T = TO
O = 6
T = 3.50
O = 47
T = 284.55
O = 47
T = 0.73
O = 111
T = 0.71
HG-3SAT-V250-C1000-6.cnf O = 6
T = 2.42
O = 6
T = 7.33
O = 6
T = 4.65
O = 12
T = 254.31
O = N/A
T = TO
O = 6
T = 2.42
O = 38
T = 284.61
O = 59
T = 0.98
O = 136
T = 0.65
HG-3SAT-V250-C1000-7.cnf O = 6
T = 1.90
O = 6
T = 3.89
O = 6
T = 1.90
O = 14
T = 175.61
O = N/A
T = TO
O = 6
T = 3.23
O = 47
T = 284.74
O = 58
T = 0.87
O = 118
T = 0.64
HG-3SAT-V250-C1000-8.cnf O = 5
T = 2.71
O = 5
T = 91.64
O = 5
T = 4.76
O = 14
T = 89.06
O = N/A
T = TO
O = 5
T = 2.71
O = 44
T = 284.39
O = 42
T = 0.70
O = 122
T = 0.74
HG-3SAT-V250-C1000-9.cnf O = 6
T = 3.62
O = 6
T = 3.94
O = 6
T = 3.90
O = 12
T = 152.14
O = N/A
T = TO
O = 6
T = 3.62
O = 53
T = 284.59
O = 49
T = 0.75
O = 121
T = 0.83
HG-3SAT-V300-C1200-1.cnf O = 6
T = 6.12
O = 6
T = 6.12
O = 6
T = 26.27
O = 18
T = 62.90
O = N/A
T = TO
O = 6
T = 42.53
O = 59
T = 284.58
O = 66
T = 0.78
O = 150
T = 0.74
HG-3SAT-V300-C1200-10.cnf O = 7
T = 3.61
O = 7
T = 19.06
O = 7
T = 3.61
O = 19
T = 56.25
O = N/A
T = TO
O = 7
T = 4.81
O = 75
T = 284.55
O = 67
T = 0.84
O = 149
T = 0.74
HG-3SAT-V300-C1200-100.cnf O = 6
T = 4.83
O = 6
T = 52.46
O = 6
T = 4.83
O = 16
T = 127.73
O = N/A
T = TO
O = 6
T = 230.21
O = 58
T = 284.77
O = 60
T = 0.76
O = 143
T = 0.85
HG-3SAT-V300-C1200-11.cnf O = 6
T = 2.22
O = 6
T = 3.13
O = 6
T = 2.22
O = 18
T = 70.46
O = N/A
T = TO
O = 6
T = 11.60
O = 76
T = 284.64
O = 93
T = 0.84
O = 166
T = 1.09
HG-3SAT-V300-C1200-12.cnf O = 7
T = 1.91
O = 7
T = 125.65
O = 7
T = 1.91
O = 16
T = 56.15
O = N/A
T = TO
O = 7
T = 4.83
O = 64
T = 284.50
O = 79
T = 0.74
O = 149
T = 1.38
HG-3SAT-V300-C1200-13.cnf O = 6
T = 6.41
O = 6
T = 120.58
O = 6
T = 6.41
O = 16
T = 249.31
O = N/A
T = TO
O = 6
T = 49.64
O = 81
T = 284.65
O = 65
T = 0.64
O = 149
T = 0.69
HG-3SAT-V300-C1200-14.cnf O = 6
T = 4.31
O = 6
T = 55.47
O = 6
T = 4.31
O = 17
T = 19.42
O = N/A
T = TO
O = 6
T = 15.95
O = 66
T = 284.62
O = 55
T = 0.79
O = 139
T = 0.76
HG-3SAT-V300-C1200-15.cnf O = 7
T = 4.84
O = 7
T = 5.68
O = 7
T = 4.84
O = 18
T = 97.71
O = N/A
T = TO
O = 7
T = 17.56
O = 72
T = 284.68
O = 68
T = 0.89
O = 160
T = 0.69
HG-3SAT-V300-C1200-16.cnf O = 6
T = 4.14
O = 6
T = 4.96
O = 6
T = 5.18
O = 18
T = 236.17
O = N/A
T = TO
O = 6
T = 4.14
O = 69
T = 284.65
O = 50
T = 0.55
O = 146
T = 0.75
HG-3SAT-V300-C1200-17.cnf O = 7
T = 4.71
O = 7
T = 8.20
O = 7
T = 4.71
O = 20
T = 124.92
O = N/A
T = TO
O = 7
T = 19.14
O = 54
T = 284.45
O = 46
T = 0.79
O = 145
T = 0.67
HG-3SAT-V300-C1200-18.cnf O = 7
T = 4.11
O = 7
T = 18.59
O = 7
T = 4.11
O = 17
T = 205.72
O = N/A
T = TO
O = 7
T = 4.63
O = 74
T = 284.64
O = 65
T = 0.53
O = 141
T = 0.76
HG-3SAT-V300-C1200-19.cnf O = 6
T = 4.62
O = 6
T = 129.93
O = 6
T = 20.33
O = 17
T = 153.52
O = N/A
T = TO
O = 6
T = 4.62
O = 54
T = 284.52
O = 63
T = 0.76
O = 142
T = 0.84
HG-3SAT-V300-C1200-2.cnf O = 5
T = 2.68
O = 5
T = 45.20
O = 5
T = 2.68
O = 17
T = 88.22
O = N/A
T = TO
O = 5
T = 10.57
O = 74
T = 284.51
O = 71
T = 0.70
O = 155
T = 0.88
HG-3SAT-V300-C1200-20.cnf O = 6
T = 3.43
O = 6
T = 94.79
O = 6
T = 3.82
O = 18
T = 234.31
O = N/A
T = TO
O = 6
T = 3.43
O = 70
T = 284.52
O = 83
T = 0.81
O = 153
T = 1.12
HG-3SAT-V300-C1200-21.cnf O = 5
T = 1.87
O = 5
T = 5.49
O = 5
T = 4.00
O = 15
T = 213.23
O = N/A
T = TO
O = 5
T = 1.87
O = 62
T = 284.64
O = 70
T = 0.70
O = 149
T = 0.88
HG-3SAT-V300-C1200-22.cnf O = 6
T = 17.19
O = 7
T = 5.75
O = 6
T = 17.19
O = 18
T = 93.74
O = N/A
T = TO
O = 6
T = 18.53
O = 71
T = 284.59
O = 63
T = 0.95
O = 158
T = 0.87
HG-3SAT-V300-C1200-23.cnf O = 7
T = 5.31
O = 7
T = 5.55
O = 7
T = 5.31
O = 19
T = 6.43
O = N/A
T = TO
O = 7
T = 8.19
O = 79
T = 284.69
O = 62
T = 0.71
O = 155
T = 1.33
HG-3SAT-V300-C1200-24.cnf O = 7
T = 5.21
O = 8
T = 4.80
O = 7
T = 5.21
O = 19
T = 1.31
O = N/A
T = TO
O = 7
T = 6.33
O = 62
T = 284.49
O = 72
T = 0.86
O = 153
T = 1.54
HG-3SAT-V300-C1200-3.cnf O = 6
T = 4.72
O = 7
T = 55.68
O = 6
T = 4.72
O = 19
T = 93.38
O = N/A
T = TO
O = 6
T = 20.40
O = 65
T = 284.58
O = 69
T = 0.96
O = 151
T = 0.63
HG-3SAT-V300-C1200-4.cnf O = 7
T = 2.56
O = 7
T = 4.51
O = 7
T = 4.54
O = 18
T = 211.91
O = N/A
T = TO
O = 7
T = 2.56
O = 74
T = 284.67
O = 71
T = 0.79
O = 144
T = 0.84
HG-3SAT-V300-C1200-5.cnf O = 6
T = 4.07
O = 6
T = 4.32
O = 6
T = 4.07
O = 17
T = 28.73
O = N/A
T = TO
O = 6
T = 4.99
O = 82
T = 284.67
O = 61
T = 0.70
O = 139
T = 0.85
HG-3SAT-V300-C1200-6.cnf O = 6
T = 3.96
O = 6
T = 4.45
O = 6
T = 3.96
O = 16
T = 129.64
O = N/A
T = TO
O = 6
T = 4.23
O = 71
T = 284.63
O = 79
T = 0.77
O = 153
T = 0.88
HG-3SAT-V300-C1200-7.cnf O = 5
T = 3.91
O = 6
T = 3.50
O = 5
T = 3.91
O = 15
T = 286.59
O = N/A
T = TO
O = 5
T = 5.58
O = 78
T = 284.49
O = 65
T = 0.88
O = 149
T = 0.89
HG-3SAT-V300-C1200-8.cnf O = 7
T = 3.78
O = 7
T = 3.78
O = 7
T = 5.32
O = 19
T = 18.51
O = N/A
T = TO
O = 7
T = 20.64
O = 75
T = 284.52
O = 64
T = 1.21
O = 156
T = 0.88
HG-3SAT-V300-C1200-9.cnf O = 7
T = 3.98
O = 7
T = 4.29
O = 7
T = 3.98
O = 20
T = 140.35
O = N/A
T = TO
O = 7
T = 4.23
O = 66
T = 284.46
O = 81
T = 0.80
O = 141
T = 1.07
HG-4SAT-V100-C900-14.cnf O = 2
T = 0.94
O = 2
T = 4.42
O = 2
T = 1.55
O = 3
T = 152.23
O = N/A
T = TO
O = 2
T = 0.94
O = 33
T = 284.69
O = 39
T = 0.49
O = 64
T = 1.26
HG-4SAT-V100-C900-19.cnf O = 2
T = 1.21
O = 2
T = 1.58
O = 2
T = 2.05
O = 4
T = 76.58
O = N/A
T = TO
O = 2
T = 1.21
O = 21
T = 284.67
O = 35
T = 0.78
O = 55
T = 0.89
HG-4SAT-V100-C900-2.cnf O = 2
T = 1.13
O = 2
T = 1.54
O = 2
T = 1.95
O = 3
T = 144.75
O = N/A
T = TO
O = 2
T = 1.13
O = 24
T = 284.63
O = 23
T = 0.89
O = 62
T = 0.93
HG-4SAT-V100-C900-20.cnf O = 2
T = 1.50
O = 2
T = 1.68
O = 2
T = 1.76
O = 3
T = 144.36
O = N/A
T = TO
O = 2
T = 1.50
O = 26
T = 284.53
O = 23
T = 0.80
O = 55
T = 1.09
HG-4SAT-V100-C900-23.cnf O = 2
T = 0.92
O = 2
T = 2.27
O = 2
T = 1.72
O = 3
T = 30.33
O = N/A
T = TO
O = 2
T = 0.92
O = 26
T = 284.58
O = 35
T = 0.79
O = 49
T = 1.21
HG-4SAT-V100-C900-4.cnf O = 2
T = 1.37
O = 2
T = 3.78
O = 2
T = 1.37
O = 4
T = 35.70
O = N/A
T = TO
O = 2
T = 1.59
O = 25
T = 284.74
O = 23
T = 0.77
O = 46
T = 1.11
HG-4SAT-V100-C900-7.cnf O = 2
T = 1.47
O = 2
T = 2.91
O = 2
T = 1.83
O = 4
T = 66.40
O = N/A
T = TO
O = 2
T = 1.47
O = 30
T = 284.58
O = 36
T = 0.79
O = 43
T = 1.48
HG-4SAT-V150-C1350-1.cnf O = 1
T = 2.09
O = 1
T = 12.48
O = 1
T = 2.83
O = 9
T = 228.46
O = N/A
T = TO
O = 1
T = 2.09
O = 52
T = 284.57
O = 39
T = 0.71
O = 93
T = 1.40
HG-4SAT-V150-C1350-10.cnf O = 1
T = 2.36
O = 1
T = 2.39
O = 1
T = 2.58
O = 9
T = 184.66
O = N/A
T = TO
O = 1
T = 2.36
O = 41
T = 284.73
O = 45
T = 1.06
O = 70
T = 0.71
HG-4SAT-V150-C1350-100.cnf O = 1
T = 2.25
O = 2
T = 19.78
O = 1
T = 2.81
O = 8
T = 277.47
O = N/A
T = TO
O = 1
T = 2.25
O = 45
T = 284.49
O = 48
T = 0.86
O = 92
T = 0.90
HG-4SAT-V150-C1350-11.cnf O = 1
T = 2.02
O = 1
T = 2.02
O = 1
T = 2.36
O = 8
T = 264.91
O = N/A
T = TO
O = 1
T = 3.50
O = 39
T = 284.73
O = 42
T = 0.52
O = 83
T = 1.12
HG-4SAT-V150-C1350-12.cnf O = 2
T = 2.28
O = 2
T = 147.31
O = 2
T = 2.39
O = 8
T = 19.29
O = N/A
T = TO
O = 2
T = 2.28
O = 48
T = 284.60
O = 44
T = 0.69
O = 88
T = 0.98
HG-4SAT-V150-C1350-13.cnf O = 1
T = 2.79
O = 2
T = 17.52
O = 1
T = 2.84
O = 10
T = 81.69
O = N/A
T = TO
O = 1
T = 2.79
O = 44
T = 284.61
O = 52
T = 0.71
O = 79
T = 1.09
HG-4SAT-V150-C1350-14.cnf O = 1
T = 1.79
O = 2
T = 2.29
O = 1
T = 3.74
O = 6
T = 208.28
O = N/A
T = TO
O = 1
T = 1.79
O = 39
T = 284.75
O = 45
T = 0.86
O = 94
T = 1.01
HG-4SAT-V150-C1350-15.cnf O = 1
T = 1.12
O = 2
T = 141.97
O = 1
T = 1.12
O = 9
T = 7.47
O = N/A
T = TO
O = 1
T = 1.98
O = 33
T = 284.61
O = 45
T = 1.15
O = 90
T = 1.23
HG-4SAT-V150-C1350-16.cnf O = 1
T = 1.26
O = 2
T = 4.78
O = 1
T = 2.09
O = 6
T = 151.37
O = N/A
T = TO
O = 1
T = 1.26
O = 52
T = 284.71
O = 46
T = 0.95
O = 83
T = 1.28
HG-4SAT-V150-C1350-17.cnf O = 2
T = 2.02
O = 2
T = 2.30
O = 2
T = 2.02
O = 7
T = 37.88
O = N/A
T = TO
O = 2
T = 2.22
O = 52
T = 284.52
O = 42
T = 0.79
O = 78
T = 1.10
HG-4SAT-V150-C1350-18.cnf O = 1
T = 1.74
O = 3
T = 2.38
O = 1
T = 1.74
O = 9
T = 181.04
O = N/A
T = TO
O = 1
T = 1.79
O = 38
T = 284.64
O = 38
T = 0.75
O = 80
T = 1.30
HG-4SAT-V150-C1350-19.cnf O = 1
T = 2.43
O = 1
T = 49.11
O = 1
T = 2.58
O = 10
T = 104.74
O = N/A
T = TO
O = 1
T = 2.43
O = 37
T = 284.59
O = 38
T = 0.80
O = 81
T = 1.44
HG-4SAT-V150-C1350-2.cnf O = 1
T = 2.48
O = 2
T = 13.80
O = 1
T = 4.40
O = 9
T = 192.75
O = N/A
T = TO
O = 1
T = 2.48
O = 45
T = 284.58
O = 34
T = 0.92
O = 71
T = 1.01
HG-4SAT-V150-C1350-20.cnf O = 1
T = 2.14
O = 2
T = 2.31
O = 1
T = 18.10
O = 9
T = 153.59
O = N/A
T = TO
O = 1
T = 2.14
O = 42
T = 284.69
O = 50
T = 0.82
O = 77
T = 0.99
HG-4SAT-V150-C1350-21.cnf O = 1
T = 1.98
O = 2
T = 133.19
O = 1
T = 2.70
O = 10
T = 0.15
O = N/A
T = TO
O = 1
T = 1.98
O = 40
T = 284.38
O = 33
T = 0.74
O = 86
T = 0.79
HG-4SAT-V150-C1350-22.cnf O = 1
T = 1.37
O = 1
T = 146.66
O = 1
T = 1.44
O = 8
T = 8.50
O = N/A
T = TO
O = 1
T = 1.37
O = 31
T = 284.76
O = 46
T = 1.20
O = 69
T = 0.86
HG-4SAT-V150-C1350-23.cnf O = 0
T = 0.41
O = 0
T = 294.72
O = 0
T = 0.41
O = 9
T = 88.15
O = N/A
T = TO
O = 0
T = 1.63
O = 36
T = 284.54
O = 50
T = 0.78
O = 72
T = 1.31
HG-4SAT-V150-C1350-24.cnf O = 2
T = 1.45
O = 2
T = 106.59
O = 2
T = 1.45
O = 10
T = 213.61
O = N/A
T = TO
O = 2
T = 1.70
O = 47
T = 284.60
O = 46
T = 0.67
O = 73
T = 1.27
HG-4SAT-V150-C1350-3.cnf O = 1
T = 1.65
O = 1
T = 23.75
O = 1
T = 2.37
O = 8
T = 83.44
O = N/A
T = TO
O = 1
T = 1.65
O = 44
T = 284.75
O = 41
T = 0.72
O = 73
T = 0.94
HG-4SAT-V150-C1350-4.cnf O = 1
T = 1.93
O = 3
T = 3.89
O = 1
T = 1.93
O = 9
T = 141.36
O = N/A
T = TO
O = 1
T = 2.14
O = 35
T = 284.60
O = 49
T = 0.85
O = 83
T = 1.29
HG-4SAT-V150-C1350-5.cnf O = 2
T = 1.51
O = 2
T = 27.52
O = 2
T = 1.51
O = 10
T = 32.84
O = N/A
T = TO
O = 2
T = 1.88
O = 42
T = 284.68
O = 39
T = 1.17
O = 94
T = 1.21
HG-4SAT-V150-C1350-6.cnf O = 1
T = 1.93
O = 2
T = 3.00
O = 1
T = 2.00
O = 9
T = 99.45
O = N/A
T = TO
O = 1
T = 1.93
O = 33
T = 284.71
O = 42
T = 0.87
O = 91
T = 1.57
HG-4SAT-V150-C1350-7.cnf O = 1
T = 1.91
O = 2
T = 2.29
O = 1
T = 10.31
O = 7
T = 201.17
O = N/A
T = TO
O = 1
T = 1.91
O = 53
T = 284.34
O = 34
T = 0.70
O = 67
T = 1.47
HG-4SAT-V150-C1350-8.cnf O = 2
T = 1.23
O = 2
T = 2.10
O = 2
T = 2.27
O = 9
T = 52.17
O = N/A
T = TO
O = 2
T = 1.23
O = 41
T = 284.60
O = 39
T = 0.85
O = 73
T = 1.41
HG-4SAT-V150-C1350-9.cnf O = 2
T = 1.58
O = 2
T = 51.74
O = 2
T = 1.58
O = 9
T = 45.33
O = N/A
T = TO
O = 2
T = 1.76
O = 43
T = 284.69
O = 56
T = 0.81
O = 75
T = 1.45
s2v120c1200-1.cnf O = 161
T = 1.57
O = 161
T = 3.11
O = 161
T = 2.55
O = 172
T = 252.18
O = N/A
T = TO
O = 161
T = 1.57
O = 252
T = 284.61
O = 252
T = 0.85
O = 316
T = 0.91
s2v120c1200-10.cnf O = 154
T = 2.24
O = 154
T = 3.14
O = 154
T = 2.66
O = 168
T = 45.29
O = N/A
T = TO
O = 154
T = 2.24
O = 228
T = 284.52
O = 228
T = 0.62
O = 293
T = 0.94
s2v120c1200-2.cnf O = 159
T = 2.61
O = 159
T = 3.00
O = 159
T = 3.11
O = 177
T = 223.98
O = N/A
T = TO
O = 159
T = 2.61
O = 246
T = 284.53
O = 246
T = 0.75
O = 322
T = 0.81
s2v120c1200-3.cnf O = 160
T = 2.16
O = 160
T = 2.85
O = 160
T = 2.56
O = 188
T = 162.30
O = N/A
T = TO
O = 160
T = 2.16
O = 265
T = 284.52
O = 265
T = 0.98
O = 296
T = 1.41
s2v120c1200-4.cnf O = 157
T = 1.56
O = 157
T = 2.73
O = 157
T = 3.06
O = 173
T = 96.47
O = N/A
T = TO
O = 157
T = 1.56
O = 248
T = 284.51
O = 248
T = 0.61
O = 291
T = 1.17
s2v120c1200-5.cnf O = 143
T = 2.32
O = 143
T = 2.82
O = 143
T = 2.82
O = 159
T = 11.29
O = 143
T = 259.07
O = 143
T = 2.32
O = 220
T = 284.71
O = 220
T = 0.45
O = 271
T = 0.96
s2v120c1200-6.cnf O = 167
T = 2.56
O = 167
T = 3.29
O = 167
T = 2.56
O = 190
T = 106.28
O = N/A
T = TO
O = 167
T = 2.89
O = 265
T = 284.59
O = 265
T = 0.54
O = 291
T = 1.37
s2v120c1200-7.cnf O = 162
T = 1.84
O = 162
T = 2.70
O = 162
T = 1.84
O = 179
T = 185.52
O = N/A
T = TO
O = 162
T = 2.03
O = 247
T = 284.74
O = 247
T = 0.88
O = 324
T = 1.20
s2v120c1200-8.cnf O = 165
T = 1.93
O = 165
T = 2.86
O = 165
T = 3.02
O = 189
T = 194.84
O = N/A
T = TO
O = 165
T = 1.93
O = 258
T = 284.70
O = 258
T = 0.75
O = 301
T = 1.31
s2v120c1200-9.cnf O = 148
T = 2.40
O = 148
T = 2.57
O = 148
T = 2.54
O = 169
T = 17.75
O = 148
T = 279.64
O = 148
T = 2.40
O = 224
T = 284.19
O = 224
T = 0.56
O = 318
T = 1.50
s2v120c1300-1.cnf O = 180
T = 1.97
O = 180
T = 2.00
O = 180
T = 1.97
O = 203
T = 258.65
O = N/A
T = TO
O = 180
T = 2.29
O = 243
T = 284.49
O = 243
T = 0.58
O = 339
T = 1.22
s2v120c1300-10.cnf O = 180
T = 2.04
O = 180
T = 3.15
O = 180
T = 2.04
O = 195
T = 207.02
O = N/A
T = TO
O = 180
T = 2.83
O = 246
T = 284.66
O = N/A
T = TO
O = 315
T = 1.42
s2v120c1300-2.cnf O = 172
T = 1.60
O = 172
T = 3.03
O = 172
T = 2.78
O = 185
T = 56.87
O = N/A
T = TO
O = 172
T = 1.60
O = 268
T = 284.53
O = 268
T = 0.48
O = 357
T = 1.02
s2v120c1300-3.cnf O = 173
T = 1.84
O = 173
T = 3.52
O = 173
T = 2.56
O = 193
T = 144.14
O = N/A
T = TO
O = 173
T = 1.84
O = 262
T = 284.47
O = 262
T = 0.58
O = 333
T = 1.36
s2v120c1300-4.cnf O = 176
T = 1.35
O = 176
T = 3.50
O = 176
T = 1.35
O = 199
T = 5.37
O = N/A
T = TO
O = 176
T = 2.29
O = 274
T = 284.50
O = 274
T = 0.52
O = 326
T = 1.59
s2v120c1300-5.cnf O = 168
T = 2.33
O = 168
T = 2.93
O = 168
T = 3.34
O = 184
T = 207.45
O = N/A
T = TO
O = 168
T = 2.33
O = 257
T = 284.44
O = N/A
T = TO
O = 294
T = 0.71
s2v120c1300-6.cnf O = 180
T = 2.74
O = 180
T = 3.48
O = 180
T = 2.83
O = 204
T = 236.37
O = N/A
T = TO
O = 180
T = 2.74
O = 249
T = 284.57
O = 249
T = 0.68
O = 316
T = 1.59
s2v120c1300-7.cnf O = 169
T = 1.33
O = 169
T = 2.81
O = 169
T = 2.45
O = 195
T = 105.08
O = N/A
T = TO
O = 169
T = 1.33
O = 266
T = 284.45
O = N/A
T = TO
O = 376
T = 0.75
s2v120c1300-8.cnf O = 174
T = 1.85
O = 174
T = 3.01
O = 174
T = 3.51
O = 194
T = 201.43
O = N/A
T = TO
O = 174
T = 1.85
O = 280
T = 284.70
O = 280
T = 0.64
O = 329
T = 1.52
s2v120c1300-9.cnf O = 186
T = 1.94
O = 186
T = 2.47
O = 186
T = 3.18
O = 197
T = 125.21
O = N/A
T = TO
O = 186
T = 1.94
O = 272
T = 284.65
O = N/A
T = TO
O = 329
T = 1.64
s2v120c1400-1.cnf O = 197
T = 2.19
O = 197
T = 2.85
O = 197
T = 2.43
O = 225
T = 62.48
O = N/A
T = TO
O = 197
T = 2.19
O = 291
T = 284.52
O = 291
T = 0.76
O = 361
T = 1.25
s2v120c1400-10.cnf O = 211
T = 1.76
O = 211
T = 1.76
O = 211
T = 3.75
O = 239
T = 41.75
O = N/A
T = TO
O = 211
T = 2.51
O = N/A
T = TO
O = 318
T = 0.60
O = 328
T = 1.45
s2v120c1400-2.cnf O = 191
T = 2.29
O = 191
T = 3.28
O = 191
T = 2.81
O = 214
T = 184.63
O = N/A
T = TO
O = 191
T = 2.29
O = N/A
T = TO
O = 335
T = 0.53
O = 380
T = 1.41
s2v120c1400-3.cnf O = 189
T = 2.79
O = 189
T = 2.80
O = 189
T = 3.45
O = 212
T = 291.72
O = N/A
T = TO
O = 189
T = 2.79
O = 292
T = 284.71
O = N/A
T = TO
O = 354
T = 1.59
s2v120c1400-4.cnf O = 200
T = 1.90
O = 200
T = 1.90
O = 200
T = 2.66
O = 220
T = 190.78
O = N/A
T = TO
O = 200
T = 2.39
O = 308
T = 284.37
O = 308
T = 0.60
O = 350
T = 0.99
s2v120c1400-5.cnf O = 199
T = 2.47
O = 199
T = 3.08
O = 199
T = 2.47
O = 223
T = 153.87
O = N/A
T = TO
O = 199
T = 2.80
O = N/A
T = TO
O = 289
T = 0.70
O = 323
T = 1.30
s2v120c1400-6.cnf O = 196
T = 2.10
O = 196
T = 2.59
O = 196
T = 2.60
O = 225
T = 56.03
O = N/A
T = TO
O = 196
T = 2.10
O = 291
T = 284.61
O = 291
T = 0.59
O = 374
T = 1.51
s2v120c1400-7.cnf O = 206
T = 1.16
O = 206
T = 2.29
O = 206
T = 3.19
O = 232
T = 90.37
O = N/A
T = TO
O = 206
T = 1.16
O = 294
T = 284.74
O = 294
T = 0.62
O = 359
T = 1.39
s2v120c1400-8.cnf O = 194
T = 2.29
O = 194
T = 2.55
O = 194
T = 2.52
O = 206
T = 114.66
O = N/A
T = TO
O = 194
T = 2.29
O = 278
T = 284.50
O = 278
T = 1.09
O = 363
T = 1.37
s2v120c1400-9.cnf O = 198
T = 1.92
O = 198
T = 1.92
O = 198
T = 2.72
O = 217
T = 195.22
O = N/A
T = TO
O = 198
T = 2.49
O = 303
T = 284.62
O = 303
T = 0.85
O = 344
T = 1.24
s2v120c1500-1.cnf O = 211
T = 1.33
O = 211
T = 2.79
O = 211
T = 2.14
O = 236
T = 160.28
O = N/A
T = TO
O = 211
T = 1.33
O = 316
T = 284.61
O = 316
T = 0.93
O = 396
T = 0.66
s2v120c1500-10.cnf O = 213
T = 2.28
O = 213
T = 3.53
O = 213
T = 2.28
O = 239
T = 279.43
O = N/A
T = TO
O = 213
T = 2.37
O = 300
T = 284.61
O = 300
T = 0.96
O = 384
T = 1.44
s2v120c1500-2.cnf O = 213
T = 1.77
O = 213
T = 3.62
O = 213
T = 2.05
O = 234
T = 169.64
O = N/A
T = TO
O = 213
T = 1.77
O = 347
T = 284.40
O = 347
T = 0.78
O = 406
T = 0.53
s2v120c1500-3.cnf O = 207
T = 2.28
O = 207
T = 2.83
O = 207
T = 3.85
O = 231
T = 256.46
O = N/A
T = TO
O = 207
T = 2.28
O = 335
T = 284.48
O = 335
T = 0.59
O = 376
T = 0.55
s2v120c1500-4.cnf O = 212
T = 1.73
O = 212
T = 2.93
O = 212
T = 3.35
O = 235
T = 185.71
O = N/A
T = TO
O = 212
T = 1.73
O = 267
T = 284.67
O = 267
T = 0.79
O = 345
T = 1.34
s2v120c1500-5.cnf O = 233
T = 2.39
O = 233
T = 2.96
O = 233
T = 3.15
O = 265
T = 258.09
O = N/A
T = TO
O = 233
T = 2.39
O = 340
T = 284.40
O = 340
T = 0.68
O = 367
T = 1.26
s2v120c1500-6.cnf O = 209
T = 2.59
O = 209
T = 3.28
O = 209
T = 3.34
O = 236
T = 19.88
O = N/A
T = TO
O = 209
T = 2.59
O = 321
T = 284.34
O = 321
T = 1.00
O = 430
T = 0.55
s2v120c1500-7.cnf O = 216
T = 2.16
O = 216
T = 3.66
O = 216
T = 3.27
O = 245
T = 49.03
O = N/A
T = TO
O = 216
T = 2.16
O = 293
T = 284.74
O = N/A
T = TO
O = 365
T = 1.04
s2v120c1500-8.cnf O = 212
T = 1.48
O = 212
T = 2.42
O = 212
T = 2.97
O = 235
T = 18.25
O = N/A
T = TO
O = 212
T = 1.48
O = 311
T = 284.72
O = N/A
T = TO
O = 372
T = 1.65
s2v120c1500-9.cnf O = 223
T = 2.18
O = 223
T = 2.39
O = 223
T = 2.78
O = 243
T = 191.88
O = N/A
T = TO
O = 223
T = 2.18
O = 317
T = 284.66
O = 317
T = 0.75
O = 350
T = 1.47
s2v120c1600-1.cnf O = 233
T = 2.33
O = 233
T = 2.80
O = 233
T = 3.09
O = 261
T = 52.72
O = N/A
T = TO
O = 233
T = 2.33
O = 347
T = 284.54
O = 347
T = 0.90
O = 422
T = 1.39
s2v120c1600-10.cnf O = 233
T = 2.20
O = 233
T = 3.09
O = 233
T = 2.71
O = 255
T = 292.64
O = N/A
T = TO
O = 233
T = 2.20
O = 367
T = 284.62
O = 367
T = 0.85
O = 381
T = 1.33
s2v120c1600-2.cnf O = 239
T = 2.48
O = 239
T = 3.06
O = 239
T = 3.10
O = 265
T = 3.39
O = N/A
T = TO
O = 239
T = 2.48
O = 349
T = 284.39
O = 349
T = 0.65
O = 423
T = 1.13
s2v120c1600-3.cnf O = 233
T = 1.94
O = 233
T = 3.12
O = 233
T = 1.94
O = 252
T = 283.38
O = N/A
T = TO
O = 233
T = 2.13
O = 341
T = 284.63
O = 341
T = 0.70
O = 391
T = 0.93
s2v120c1600-4.cnf O = 219
T = 2.29
O = 219
T = 2.67
O = 219
T = 3.00
O = 235
T = 231.57
O = N/A
T = TO
O = 219
T = 2.29
O = 306
T = 284.73
O = 306
T = 0.90
O = 370
T = 0.97
s2v120c1600-5.cnf O = 247
T = 1.33
O = 247
T = 1.33
O = 247
T = 3.06
O = 277
T = 213.91
O = N/A
T = TO
O = 247
T = 2.52
O = 347
T = 284.52
O = 347
T = 0.78
O = 398
T = 1.10
s2v120c1600-6.cnf O = 235
T = 2.27
O = 235
T = 2.91
O = 235
T = 2.85
O = 255
T = 7.81
O = N/A
T = TO
O = 235
T = 2.27
O = 352
T = 284.27
O = N/A
T = TO
O = 441
T = 1.31
s2v120c1600-7.cnf O = 225
T = 1.18
O = 225
T = 2.06
O = 225
T = 1.18
O = 251
T = 45.29
O = N/A
T = TO
O = 225
T = 2.55
O = 345
T = 284.58
O = 345
T = 0.89
O = 409
T = 1.13
s2v120c1600-8.cnf O = 237
T = 2.27
O = 237
T = 2.85
O = 237
T = 3.05
O = 256
T = 65.17
O = N/A
T = TO
O = 237
T = 2.27
O = N/A
T = TO
O = 339
T = 0.49
O = 387
T = 0.99
s2v120c1600-9.cnf O = 240
T = 1.66
O = 240
T = 1.66
O = 240
T = 1.67
O = 261
T = 51.17
O = N/A
T = TO
O = 240
T = 1.74
O = 357
T = 284.67
O = 357
T = 0.86
O = 392
T = 1.24
s2v140c1200-1.cnf O = 144
T = 2.68
O = 144
T = 3.60
O = 144
T = 3.14
O = 162
T = 89.83
O = N/A
T = TO
O = 144
T = 2.68
O = 222
T = 284.65
O = 222
T = 0.68
O = 313
T = 1.14
s2v140c1200-10.cnf O = 140
T = 1.57
O = 140
T = 3.00
O = 140
T = 1.57
O = 164
T = 131.75
O = N/A
T = TO
O = 140
T = 2.20
O = 218
T = 284.73
O = 218
T = 0.86
O = 281
T = 1.48
s2v140c1200-2.cnf O = 155
T = 1.69
O = 155
T = 1.69
O = 155
T = 2.40
O = 171
T = 75.41
O = N/A
T = TO
O = 155
T = 2.11
O = 245
T = 284.52
O = 245
T = 0.96
O = 294
T = 1.21
s2v140c1200-3.cnf O = 155
T = 2.74
O = 155
T = 2.95
O = 155
T = 2.74
O = 183
T = 48.21
O = N/A
T = TO
O = 155
T = 2.80
O = 244
T = 284.58
O = 244
T = 0.99
O = 307
T = 0.90
s2v140c1200-4.cnf O = 148
T = 2.79
O = 148
T = 4.02
O = 148
T = 2.79
O = 175
T = 0.46
O = N/A
T = TO
O = 148
T = 3.15
O = 232
T = 284.55
O = 232
T = 0.92
O = 290
T = 1.22
s2v140c1200-5.cnf O = 143
T = 2.45
O = 143
T = 3.35
O = 143
T = 2.99
O = 159
T = 133.62
O = N/A
T = TO
O = 143
T = 2.45
O = 218
T = 284.75
O = 218
T = 0.73
O = 297
T = 1.31
s2v140c1200-6.cnf O = 148
T = 2.62
O = 148
T = 2.97
O = 148
T = 3.96
O = 173
T = 201.74
O = N/A
T = TO
O = 148
T = 2.62
O = 229
T = 284.63
O = 229
T = 0.97
O = 309
T = 0.84
s2v140c1200-7.cnf O = 148
T = 2.34
O = 148
T = 2.93
O = 148
T = 3.30
O = 171
T = 5.57
O = N/A
T = TO
O = 148
T = 2.34
O = 234
T = 284.63
O = 234
T = 0.87
O = 317
T = 1.25
s2v140c1200-8.cnf O = 152
T = 2.83
O = 152
T = 3.66
O = 152
T = 2.83
O = 176
T = 199.37
O = N/A
T = TO
O = 152
T = 3.20
O = 243
T = 284.70
O = 243
T = 0.97
O = 302
T = 1.20
s2v140c1200-9.cnf O = 151
T = 2.37
O = 151
T = 3.72
O = 151
T = 2.37
O = 170
T = 115.53
O = N/A
T = TO
O = 151
T = 2.38
O = 204
T = 284.71
O = 204
T = 1.14
O = 322
T = 1.00
s2v140c1300-1.cnf O = 162
T = 1.74
O = 162
T = 3.58
O = 162
T = 1.74
O = 180
T = 178.43
O = N/A
T = TO
O = 162
T = 2.18
O = 235
T = 284.62
O = 235
T = 0.63
O = 336
T = 1.24
s2v140c1300-10.cnf O = 170
T = 1.90
O = 170
T = 4.21
O = 170
T = 2.36
O = 190
T = 66.16
O = N/A
T = TO
O = 170
T = 1.90
O = 266
T = 284.69
O = 266
T = 0.62
O = 292
T = 1.17
s2v140c1300-2.cnf O = 171
T = 2.53
O = 171
T = 2.98
O = 171
T = 3.67
O = 194
T = 13.81
O = N/A
T = TO
O = 171
T = 2.53
O = 257
T = 284.51
O = 257
T = 0.81
O = 327
T = 1.17
s2v140c1300-3.cnf O = 168
T = 2.11
O = 168
T = 2.63
O = 168
T = 3.28
O = 194
T = 86.65
O = N/A
T = TO
O = 168
T = 2.11
O = 275
T = 284.56
O = N/A
T = TO
O = 334
T = 1.08
s2v140c1300-4.cnf O = 164
T = 1.67
O = 164
T = 4.24
O = 164
T = 1.67
O = 182
T = 25.16
O = N/A
T = TO
O = 164
T = 2.54
O = 241
T = 284.39
O = 241
T = 1.08
O = 320
T = 1.21
s2v140c1300-5.cnf O = 169
T = 2.11
O = 169
T = 3.69
O = 169
T = 3.12
O = 193
T = 16.15
O = N/A
T = TO
O = 169
T = 2.11
O = 247
T = 284.47
O = 247
T = 0.97
O = 311
T = 1.09
s2v140c1300-6.cnf O = 168
T = 2.33
O = 168
T = 3.36
O = 168
T = 2.33
O = 194
T = 39.41
O = N/A
T = TO
O = 168
T = 3.15
O = 251
T = 284.35
O = 251
T = 0.89
O = 336
T = 1.61
s2v140c1300-7.cnf O = 160
T = 2.53
O = 160
T = 3.73
O = 160
T = 2.53
O = 184
T = 101.68
O = N/A
T = TO
O = 160
T = 3.15
O = 281
T = 284.70
O = N/A
T = TO
O = 361
T = 1.61
s2v140c1300-8.cnf O = 157
T = 1.93
O = 157
T = 1.93
O = 157
T = 3.73
O = 181
T = 261.14
O = N/A
T = TO
O = 157
T = 2.26
O = 266
T = 284.70
O = 266
T = 0.81
O = 338
T = 0.99
s2v140c1300-9.cnf O = 162
T = 2.62
O = 162
T = 2.62
O = 162
T = 2.71
O = 179
T = 30.97
O = N/A
T = TO
O = 162
T = 2.69
O = 256
T = 284.48
O = 256
T = 0.80
O = 316
T = 1.51
s2v140c1400-1.cnf O = 182
T = 2.19
O = 182
T = 4.06
O = 182
T = 2.85
O = 200
T = 253.39
O = N/A
T = TO
O = 182
T = 2.19
O = 266
T = 284.45
O = 266
T = 0.82
O = 354
T = 0.94
s2v140c1400-10.cnf O = 188
T = 2.65
O = 188
T = 3.81
O = 188
T = 2.83
O = 218
T = 150.74
O = N/A
T = TO
O = 188
T = 2.65
O = 282
T = 284.75
O = 282
T = 1.02
O = 337
T = 1.58
s2v140c1400-2.cnf O = 178
T = 2.34
O = 178
T = 3.76
O = 178
T = 2.34
O = 202
T = 237.91
O = N/A
T = TO
O = 178
T = 2.80
O = 307
T = 284.66
O = N/A
T = TO
O = 361
T = 1.33
s2v140c1400-3.cnf O = 193
T = 3.14
O = 193
T = 3.18
O = 193
T = 3.15
O = 220
T = 144.32
O = N/A
T = TO
O = 193
T = 3.14
O = 294
T = 284.58
O = 294
T = 0.77
O = 361
T = 1.44
s2v140c1400-4.cnf O = 184
T = 2.65
O = 184
T = 4.49
O = 184
T = 3.64
O = 213
T = 104.72
O = N/A
T = TO
O = 184
T = 2.65
O = 293
T = 284.59
O = 293
T = 0.90
O = 327
T = 1.03
s2v140c1400-5.cnf O = 187
T = 2.86
O = 187
T = 2.91
O = 187
T = 3.14
O = 212
T = 75.60
O = N/A
T = TO
O = 187
T = 2.86
O = 276
T = 284.54
O = 276
T = 1.00
O = 341
T = 1.38
s2v140c1400-6.cnf O = 188
T = 1.91
O = 188
T = 3.15
O = 188
T = 1.91
O = 216
T = 146.48
O = N/A
T = TO
O = 188
T = 2.69
O = 285
T = 284.62
O = 285
T = 1.00
O = 362
T = 1.04
s2v140c1400-7.cnf O = 187
T = 3.08
O = 187
T = 3.08
O = 187
T = 3.21
O = 219
T = 53.76
O = N/A
T = TO
O = 187
T = 3.45
O = 295
T = 284.43
O = 295
T = 0.79
O = 354
T = 0.83
s2v140c1400-8.cnf O = 181
T = 2.13
O = 181
T = 3.16
O = 181
T = 3.91
O = 204
T = 27.96
O = N/A
T = TO
O = 181
T = 2.13
O = 272
T = 284.64
O = 272
T = 1.14
O = 366
T = 1.28
s2v140c1400-9.cnf O = 185
T = 2.34
O = 185
T = 3.40
O = 185
T = 3.01
O = 211
T = 215.03
O = N/A
T = TO
O = 185
T = 2.34
O = 307
T = 284.35
O = N/A
T = TO
O = 331
T = 1.62
s2v140c1500-1.cnf O = 205
T = 3.04
O = 205
T = 3.36
O = 205
T = 3.04
O = 219
T = 142.92
O = N/A
T = TO
O = 205
T = 3.56
O = 327
T = 284.01
O = 327
T = 1.07
O = 380
T = 1.61
s2v140c1500-10.cnf O = 202
T = 2.98
O = 202
T = 3.84
O = 202
T = 2.98
O = 221
T = 35.45
O = N/A
T = TO
O = 202
T = 3.37
O = 305
T = 284.68
O = 305
T = 0.88
O = 372
T = 1.25
s2v140c1500-2.cnf O = 199
T = 1.70
O = 199
T = 2.17
O = 199
T = 1.70
O = 220
T = 98.67
O = N/A
T = TO
O = 199
T = 2.27
O = 298
T = 284.72
O = 298
T = 0.85
O = 396
T = 1.50
s2v140c1500-3.cnf O = 212
T = 3.20
O = 212
T = 3.79
O = 212
T = 3.20
O = 244
T = 164.73
O = N/A
T = TO
O = 212
T = 9.88
O = 312
T = 284.59
O = 312
T = 0.92
O = 358
T = 1.17
s2v140c1500-4.cnf O = 197
T = 3.40
O = 197
T = 3.52
O = 197
T = 3.50
O = 220
T = 215.82
O = N/A
T = TO
O = 197
T = 3.40
O = 278
T = 284.75
O = 278
T = 0.93
O = 355
T = 1.11
s2v140c1500-5.cnf O = 205
T = 1.78
O = 205
T = 4.21
O = 205
T = 1.78
O = 234
T = 190.24
O = N/A
T = TO
O = 205
T = 3.00
O = 297
T = 284.49
O = N/A
T = TO
O = 379
T = 1.58
s2v140c1500-6.cnf O = 198
T = 2.86
O = 198
T = 4.01
O = 198
T = 4.36
O = 223
T = 177.27
O = N/A
T = TO
O = 198
T = 2.86
O = 304
T = 284.66
O = N/A
T = TO
O = 431
T = 1.65
s2v140c1500-7.cnf O = 202
T = 2.63
O = 202
T = 4.12
O = 202
T = 2.63
O = 231
T = 86.64
O = N/A
T = TO
O = 202
T = 2.99
O = 307
T = 284.69
O = 307
T = 0.81
O = 376
T = 1.35
s2v140c1500-8.cnf O = 199
T = 1.73
O = 199
T = 2.79
O = 199
T = 3.97
O = 229
T = 106.42
O = N/A
T = TO
O = 199
T = 1.73
O = 297
T = 284.42
O = N/A
T = TO
O = 362
T = 1.10
s2v140c1500-9.cnf O = 199
T = 2.77
O = 199
T = 3.01
O = 199
T = 2.77
O = 219
T = 20.70
O = N/A
T = TO
O = 199
T = 3.22
O = 291
T = 284.74
O = 291
T = 1.04
O = 368
T = 1.51
s2v140c1600-1.cnf O = 221
T = 2.17
O = 221
T = 3.39
O = 221
T = 2.17
O = 246
T = 287.61
O = N/A
T = TO
O = 221
T = 3.02
O = 336
T = 284.53
O = 336
T = 1.07
O = 401
T = 1.51
s2v140c1600-10.cnf O = 226
T = 2.97
O = 226
T = 2.97
O = 226
T = 3.10
O = 253
T = 197.15
O = N/A
T = TO
O = 226
T = 3.03
O = 357
T = 284.64
O = 357
T = 0.91
O = 384
T = 1.43
s2v140c1600-2.cnf O = 221
T = 2.82
O = 221
T = 4.23
O = 221
T = 2.82
O = 241
T = 86.84
O = N/A
T = TO
O = 221
T = 3.51
O = 362
T = 284.56
O = 362
T = 0.55
O = 425
T = 1.13
s2v140c1600-3.cnf O = 226
T = 3.28
O = 226
T = 3.41
O = 226
T = 3.44
O = 258
T = 79.73
O = N/A
T = TO
O = 226
T = 3.28
O = 340
T = 284.26
O = 340
T = 0.87
O = 385
T = 1.42
s2v140c1600-4.cnf O = 220
T = 2.85
O = 220
T = 2.85
O = 220
T = 3.29
O = 245
T = 19.45
O = N/A
T = TO
O = 220
T = 2.96
O = 323
T = 284.18
O = 323
T = 1.06
O = 392
T = 1.29
s2v140c1600-5.cnf O = 228
T = 2.84
O = 228
T = 3.01
O = 228
T = 2.84
O = 261
T = 255.79
O = N/A
T = TO
O = 228
T = 3.17
O = 352
T = 284.61
O = 352
T = 0.85
O = 415
T = 1.49
s2v140c1600-6.cnf O = 220
T = 3.19
O = 220
T = 3.69
O = 220
T = 3.19
O = 255
T = 123.51
O = N/A
T = TO
O = 220
T = 3.53
O = 340
T = 284.59
O = N/A
T = TO
O = 433
T = 1.56
s2v140c1600-7.cnf O = 218
T = 3.13
O = 218
T = 3.42
O = 218
T = 3.26
O = 235
T = 22.34
O = N/A
T = TO
O = 218
T = 3.13
O = 330
T = 284.60
O = 330
T = 0.83
O = 414
T = 1.55
s2v140c1600-8.cnf O = 227
T = 2.37
O = 227
T = 2.37
O = 227
T = 3.25
O = 250
T = 200.46
O = N/A
T = TO
O = 227
T = 2.67
O = 334
T = 284.30
O = 334
T = 0.88
O = 381
T = 0.58
s2v140c1600-9.cnf O = 228
T = 2.45
O = 228
T = 2.45
O = 228
T = 3.93
O = 267
T = 120.73
O = N/A
T = TO
O = 228
T = 2.84
O = 331
T = 284.62
O = 331
T = 0.87
O = 391
T = 0.83
s3v70c1000-1.cnf O = 47
T = 1.23
O = 47
T = 1.30
O = 47
T = 1.53
O = 55
T = 41.11
O = N/A
T = TO
O = 47
T = 1.23
O = 88
T = 284.71
O = 99
T = 0.99
O = 120
T = 0.58
s3v70c1000-10.cnf O = 45
T = 1.60
O = 45
T = 1.73
O = 45
T = 2.05
O = 55
T = 93.58
O = N/A
T = TO
O = 45
T = 1.60
O = 111
T = 284.69
O = 101
T = 0.79
O = 136
T = 1.10
s3v70c1000-2.cnf O = 43
T = 1.66
O = 43
T = 1.77
O = 43
T = 1.84
O = 52
T = 48.24
O = N/A
T = TO
O = 43
T = 1.66
O = 89
T = 284.52
O = 100
T = 1.21
O = 127
T = 0.96
s3v70c1000-3.cnf O = 45
T = 0.82
O = 45
T = 5.73
O = 45
T = 2.10
O = 56
T = 291.30
O = N/A
T = TO
O = 45
T = 0.82
O = 102
T = 284.67
O = 102
T = 1.14
O = 133
T = 0.81
s3v70c1000-4.cnf O = 47
T = 1.69
O = 47
T = 1.75
O = 47
T = 1.69
O = 57
T = 163.84
O = N/A
T = TO
O = 47
T = 1.83
O = 96
T = 284.43
O = 99
T = 0.56
O = 118
T = 0.55
s3v70c1000-5.cnf O = 42
T = 1.33
O = 42
T = 1.33
O = 42
T = 2.09
O = 51
T = 191.89
O = N/A
T = TO
O = 42
T = 1.34
O = 97
T = 284.40
O = 94
T = 0.74
O = 127
T = 0.81
s3v70c1000-6.cnf O = 50
T = 1.21
O = 50
T = 1.82
O = 50
T = 2.13
O = 61
T = 101.62
O = N/A
T = TO
O = 50
T = 1.21
O = 120
T = 284.12
O = 108
T = 1.07
O = 128
T = 1.13
s3v70c1000-7.cnf O = 49
T = 1.25
O = 49
T = 1.93
O = 49
T = 2.34
O = 54
T = 67.68
O = N/A
T = TO
O = 49
T = 1.25
O = 109
T = 284.54
O = 110
T = 1.22
O = 129
T = 0.93
s3v70c1000-8.cnf O = 48
T = 0.83
O = 48
T = 1.31
O = 48
T = 1.73
O = 56
T = 77.70
O = N/A
T = TO
O = 48
T = 0.83
O = 100
T = 284.59
O = 94
T = 0.69
O = 146
T = 0.78
s3v70c1000-9.cnf O = 49
T = 0.98
O = 49
T = 1.15
O = 49
T = 2.25
O = 55
T = 107.87
O = N/A
T = TO
O = 49
T = 0.98
O = 108
T = 284.74
O = 89
T = 1.16
O = 113
T = 1.18
s3v70c1100-1.cnf O = 56
T = 1.37
O = 56
T = 1.54
O = 56
T = 2.04
O = 64
T = 45.25
O = N/A
T = TO
O = 56
T = 1.37
O = 101
T = 284.41
O = 117
T = 1.22
O = 130
T = 1.08
s3v70c1100-10.cnf O = 58
T = 0.85
O = 58
T = 1.63
O = 58
T = 2.20
O = 66
T = 166.06
O = N/A
T = TO
O = 58
T = 0.85
O = 111
T = 284.24
O = 113
T = 1.02
O = 131
T = 0.92
s3v70c1100-2.cnf O = 55
T = 1.54
O = 55
T = 2.06
O = 55
T = 1.62
O = 63
T = 156.52
O = N/A
T = TO
O = 55
T = 1.54
O = 115
T = 284.40
O = 116
T = 1.18
O = 143
T = 0.77
s3v70c1100-3.cnf O = 53
T = 1.09
O = 53
T = 2.24
O = 53
T = 2.09
O = 64
T = 76.22
O = N/A
T = TO
O = 53
T = 1.09
O = 115
T = 284.64
O = 102
T = 1.14
O = 145
T = 1.13
s3v70c1100-4.cnf O = 52
T = 1.55
O = 52
T = 1.55
O = 52
T = 1.77
O = 63
T = 19.01
O = N/A
T = TO
O = 52
T = 1.59
O = 80
T = 284.56
O = 120
T = 0.74
O = 129
T = 1.06
s3v70c1100-5.cnf O = 53
T = 1.13
O = 53
T = 1.84
O = 53
T = 1.83
O = 63
T = 185.65
O = N/A
T = TO
O = 53
T = 1.13
O = 113
T = 284.43
O = 101
T = 1.26
O = 137
T = 1.42
s3v70c1100-6.cnf O = 53
T = 1.78
O = 53
T = 1.90
O = 53
T = 2.21
O = 61
T = 60.14
O = N/A
T = TO
O = 53
T = 1.78
O = 110
T = 284.56
O = 131
T = 1.21
O = 148
T = 1.09
s3v70c1100-7.cnf O = 53
T = 1.62
O = 53
T = 1.62
O = 53
T = 1.81
O = 64
T = 206.21
O = N/A
T = TO
O = 53
T = 1.63
O = 124
T = 284.46
O = 125
T = 1.06
O = 152
T = 1.07
s3v70c1100-8.cnf O = 51
T = 0.40
O = 51
T = 0.90
O = 51
T = 2.48
O = 64
T = 129.67
O = N/A
T = TO
O = 51
T = 0.40
O = 115
T = 284.23
O = 135
T = 1.25
O = 124
T = 1.55
s3v70c1100-9.cnf O = 48
T = 1.06
O = 48
T = 2.01
O = 48
T = 1.06
O = 57
T = 24.71
O = N/A
T = TO
O = 48
T = 1.52
O = 108
T = 284.44
O = 102
T = 1.03
O = 147
T = 1.49
s3v70c1200-1.cnf O = 66
T = 0.60
O = 66
T = 1.79
O = 66
T = 2.24
O = 76
T = 118.10
O = N/A
T = TO
O = 66
T = 0.60
O = 122
T = 284.36
O = 122
T = 1.10
O = 141
T = 1.08
s3v70c1200-10.cnf O = 63
T = 1.07
O = 63
T = 2.14
O = 63
T = 1.99
O = 76
T = 94.56
O = N/A
T = TO
O = 63
T = 1.07
O = 118
T = 284.55
O = 141
T = 1.39
O = 134
T = 1.30
s3v70c1200-2.cnf O = 63
T = 0.83
O = 63
T = 2.06
O = 63
T = 2.18
O = 70
T = 135.36
O = N/A
T = TO
O = 63
T = 0.83
O = 110
T = 284.55
O = 129
T = 0.98
O = 159
T = 1.31
s3v70c1200-3.cnf O = 65
T = 1.16
O = 65
T = 1.90
O = 65
T = 1.76
O = 77
T = 115.04
O = N/A
T = TO
O = 65
T = 1.16
O = 146
T = 284.39
O = 144
T = 1.00
O = 157
T = 0.87
s3v70c1200-4.cnf O = 67
T = 1.29
O = 67
T = 1.84
O = 67
T = 1.36
O = 79
T = 150.02
O = N/A
T = TO
O = 67
T = 1.29
O = 138
T = 284.61
O = 142
T = 1.35
O = 142
T = 0.66
s3v70c1200-5.cnf O = 65
T = 1.61
O = 65
T = 1.87
O = 65
T = 1.97
O = 74
T = 113.49
O = N/A
T = TO
O = 65
T = 1.61
O = 131
T = 284.29
O = 143
T = 0.87
O = 156
T = 0.79
s3v70c1200-6.cnf O = 66
T = 1.10
O = 66
T = 1.87
O = 66
T = 1.84
O = 74
T = 129.26
O = N/A
T = TO
O = 66
T = 1.10
O = 112
T = 284.20
O = 128
T = 1.31
O = 154
T = 0.92
s3v70c1200-7.cnf O = 62
T = 1.43
O = 62
T = 1.74
O = 62
T = 1.67
O = 77
T = 115.66
O = N/A
T = TO
O = 62
T = 1.43
O = 126
T = 284.65
O = 133
T = 0.72
O = 142
T = 0.70
s3v70c1200-8.cnf O = 63
T = 1.04
O = 63
T = 2.20
O = 63
T = 1.83
O = 78
T = 202.77
O = N/A
T = TO
O = 63
T = 1.04
O = 145
T = 284.34
O = 126
T = 0.81
O = 153
T = 0.85
s3v70c1200-9.cnf O = 61
T = 1.80
O = 61
T = 1.80
O = 61
T = 1.93
O = 73
T = 82.64
O = N/A
T = TO
O = 61
T = 2.04
O = 137
T = 284.47
O = 124
T = 0.84
O = 148
T = 0.70
s3v70c800-1.cnf O = 31
T = 1.69
O = 31
T = 1.74
O = 31
T = 1.69
O = 36
T = 52.39
O = N/A
T = TO
O = 31
T = 1.73
O = 63
T = 284.40
O = 73
T = 0.93
O = 97
T = 0.62
s3v70c800-10.cnf O = 30
T = 1.48
O = 30
T = 1.57
O = 30
T = 1.97
O = 35
T = 76.56
O = N/A
T = TO
O = 30
T = 1.48
O = 91
T = 284.36
O = 78
T = 0.74
O = 101
T = 0.73
s3v70c800-2.cnf O = 34
T = 1.04
O = 34
T = 2.28
O = 34
T = 1.98
O = 40
T = 102.12
O = N/A
T = TO
O = 34
T = 1.04
O = 66
T = 284.51
O = 65
T = 0.83
O = 101
T = 0.64
s3v70c800-3.cnf O = 30
T = 0.62
O = 30
T = 2.15
O = 30
T = 1.43
O = 33
T = 182.62
O = N/A
T = TO
O = 30
T = 0.62
O = 87
T = 284.04
O = 89
T = 0.86
O = 103
T = 0.81
s3v70c800-4.cnf O = 28
T = 1.50
O = 28
T = 1.50
O = 28
T = 1.54
O = 32
T = 282.82
O = N/A
T = TO
O = 28
T = 1.63
O = 81
T = 284.50
O = 70
T = 1.02
O = 121
T = 1.04
s3v70c800-5.cnf O = 31
T = 1.34
O = 31
T = 1.99
O = 31
T = 1.56
O = 36
T = 26.31
O = N/A
T = TO
O = 31
T = 1.34
O = 78
T = 284.45
O = 70
T = 0.87
O = 88
T = 0.71
s3v70c800-6.cnf O = 30
T = 0.64
O = 30
T = 1.90
O = 30
T = 0.64
O = 32
T = 213.09
O = N/A
T = TO
O = 30
T = 1.48
O = 81
T = 284.08
O = 61
T = 0.79
O = 105
T = 0.69
s3v70c800-7.cnf O = 31
T = 1.56
O = 31
T = 1.81
O = 31
T = 1.74
O = 33
T = 152.87
O = N/A
T = TO
O = 31
T = 1.56
O = 76
T = 284.60
O = 83
T = 0.62
O = 100
T = 0.75
s3v70c800-8.cnf O = 34
T = 1.32
O = 34
T = 1.32
O = 34
T = 1.73
O = 38
T = 76.35
O = N/A
T = TO
O = 34
T = 1.57
O = 82
T = 284.25
O = 80
T = 0.78
O = 100
T = 1.15
s3v70c800-9.cnf O = 32
T = 1.53
O = 32
T = 1.55
O = 32
T = 1.72
O = 37
T = 10.43
O = N/A
T = TO
O = 32
T = 1.53
O = 82
T = 284.51
O = 75
T = 0.82
O = 110
T = 0.78
s3v70c900-1.cnf O = 39
T = 1.13
O = 39
T = 1.63
O = 39
T = 1.13
O = 43
T = 172.40
O = N/A
T = TO
O = 39
T = 1.23
O = 86
T = 284.31
O = 85
T = 1.00
O = 108
T = 0.94
s3v70c900-10.cnf O = 39
T = 0.98
O = 39
T = 1.89
O = 39
T = 1.44
O = 44
T = 126.32
O = N/A
T = TO
O = 39
T = 0.98
O = 85
T = 284.36
O = 83
T = 1.01
O = 106
T = 0.71
s3v70c900-2.cnf O = 38
T = 1.30
O = 38
T = 2.32
O = 38
T = 1.30
O = 42
T = 288.70
O = N/A
T = TO
O = 38
T = 1.30
O = 95
T = 284.22
O = 83
T = 1.01
O = 114
T = 0.92
s3v70c900-3.cnf O = 39
T = 1.66
O = 39
T = 2.39
O = 39
T = 2.13
O = 45
T = 186.00
O = N/A
T = TO
O = 39
T = 1.66
O = 93
T = 284.26
O = 84
T = 0.74
O = 122
T = 0.74
s3v70c900-4.cnf O = 39
T = 1.11
O = 39
T = 2.00
O = 39
T = 1.11
O = 47
T = 182.18
O = N/A
T = TO
O = 39
T = 1.75
O = 84
T = 283.75
O = 93
T = 0.75
O = 112
T = 0.91
s3v70c900-5.cnf O = 40
T = 0.89
O = 40
T = 1.16
O = 40
T = 1.85
O = 46
T = 59.61
O = N/A
T = TO
O = 40
T = 0.89
O = 81
T = 284.43
O = 101
T = 0.84
O = 108
T = 0.73
s3v70c900-6.cnf O = 41
T = 1.14
O = 41
T = 1.62
O = 41
T = 1.47
O = 44
T = 195.35
O = N/A
T = TO
O = 41
T = 1.14
O = 80
T = 284.31
O = 81
T = 0.75
O = 116
T = 0.92
s3v70c900-7.cnf O = 40
T = 1.08
O = 40
T = 9.45
O = 40
T = 1.94
O = 47
T = 89.00
O = N/A
T = TO
O = 40
T = 1.08
O = 97
T = 284.54
O = 94
T = 0.88
O = 109
T = 0.74
s3v70c900-8.cnf O = 42
T = 0.96
O = 42
T = 1.73
O = 42
T = 1.61
O = 48
T = 60.80
O = N/A
T = TO
O = 42
T = 0.96
O = 88
T = 284.28
O = 103
T = 0.92
O = 122
T = 1.02
s3v70c900-9.cnf O = 35
T = 1.08
O = 35
T = 1.94
O = 35
T = 1.60
O = 41
T = 18.13
O = N/A
T = TO
O = 35
T = 1.08
O = 95
T = 284.35
O = 81
T = 1.19
O = 111
T = 0.82
s3v80c1000-1.cnf O = 44
T = 1.80
O = 44
T = 2.37
O = 44
T = 1.98
O = 55
T = 90.61
O = N/A
T = TO
O = 44
T = 1.80
O = 101
T = 284.57
O = 110
T = 0.89
O = 130
T = 0.84
s3v80c1000-10.cnf O = 39
T = 1.78
O = 39
T = 1.88
O = 39
T = 1.95
O = 48
T = 198.45
O = N/A
T = TO
O = 39
T = 1.78
O = 85
T = 284.47
O = 95
T = 0.69
O = 133
T = 1.24
s3v80c1000-2.cnf O = 43
T = 1.39
O = 43
T = 1.53
O = 43
T = 2.05
O = 52
T = 36.55
O = N/A
T = TO
O = 43
T = 1.39
O = 95
T = 284.45
O = 90
T = 1.08
O = 135
T = 0.94
s3v80c1000-3.cnf O = 39
T = 1.76
O = 39
T = 1.76
O = 39
T = 1.84
O = 48
T = 171.25
O = N/A
T = TO
O = 39
T = 1.85
O = 99
T = 284.37
O = 102
T = 0.96
O = 124
T = 1.14
s3v80c1000-4.cnf O = 45
T = 1.37
O = 45
T = 2.03
O = 45
T = 1.55
O = 56
T = 22.30
O = N/A
T = TO
O = 45
T = 1.37
O = 98
T = 284.59
O = 89
T = 1.15
O = 111
T = 0.96
s3v80c1000-5.cnf O = 41
T = 1.15
O = 41
T = 2.63
O = 41
T = 1.15
O = 48
T = 155.09
O = N/A
T = TO
O = 41
T = 1.53
O = 105
T = 284.26
O = 114
T = 0.57
O = 123
T = 1.47
s3v80c1000-6.cnf O = 40
T = 0.70
O = 40
T = 1.49
O = 40
T = 2.30
O = 52
T = 193.95
O = N/A
T = TO
O = 40
T = 0.70
O = 104
T = 284.52
O = 96
T = 1.25
O = 135
T = 0.83
s3v80c1000-7.cnf O = 40
T = 1.49
O = 40
T = 1.64
O = 40
T = 2.03
O = 45
T = 155.10
O = N/A
T = TO
O = 40
T = 1.49
O = 105
T = 284.66
O = 100
T = 0.76
O = 99
T = 1.12
s3v80c1000-8.cnf O = 41
T = 1.30
O = 41
T = 2.02
O = 41
T = 1.91
O = 48
T = 11.26
O = N/A
T = TO
O = 41
T = 1.30
O = 94
T = 284.58
O = 114
T = 0.81
O = 126
T = 1.15
s3v80c1000-9.cnf O = 38
T = 1.77
O = 38
T = 1.95
O = 38
T = 2.59
O = 46
T = 113.30
O = N/A
T = TO
O = 38
T = 1.77
O = 91
T = 284.06
O = 87
T = 0.78
O = 104
T = 0.97
s3v80c600-1.cnf O = 14
T = 1.11
O = 14
T = 1.44
O = 14
T = 1.37
O = 15
T = 181.58
O = N/A
T = TO
O = 14
T = 1.11
O = 58
T = 284.58
O = 35
T = 1.21
O = 74
T = 1.13
s3v80c600-10.cnf O = 15
T = 0.85
O = 15
T = 2.06
O = 15
T = 1.22
O = 17
T = 4.78
O = N/A
T = TO
O = 15
T = 0.85
O = 59
T = 284.62
O = 65
T = 0.84
O = 87
T = 0.89
s3v80c600-2.cnf O = 16
T = 1.48
O = 16
T = 2.37
O = 16
T = 1.72
O = 17
T = 241.32
O = N/A
T = TO
O = 16
T = 1.48
O = 32
T = 284.10
O = 35
T = 1.08
O = 69
T = 0.90
s3v80c600-3.cnf O = 11
T = 1.40
O = 11
T = 1.83
O = 11
T = 1.40
O = 12
T = 54.12
O = N/A
T = TO
O = 11
T = 1.83
O = 42
T = 284.29
O = 71
T = 1.15
O = 81
T = 1.22
s3v80c600-4.cnf O = 13
T = 0.90
O = 13
T = 1.94
O = 13
T = 0.90
O = 14
T = 36.19
O = N/A
T = TO
O = 13
T = 1.61
O = 45
T = 284.51
O = 45
T = 1.25
O = 77
T = 1.32
s3v80c600-5.cnf O = 12
T = 0.93
O = 12
T = 1.53
O = 12
T = 1.64
O = 12
T = 132.30
O = N/A
T = TO
O = 12
T = 0.93
O = 51
T = 284.49
O = 61
T = 0.85
O = 92
T = 1.13
s3v80c600-6.cnf O = 14
T = 1.20
O = 14
T = 1.73
O = 14
T = 1.70
O = 15
T = 13.77
O = N/A
T = TO
O = 14
T = 1.20
O = 53
T = 284.47
O = 54
T = 0.81
O = 67
T = 1.05
s3v80c600-7.cnf O = 12
T = 1.51
O = 12
T = 1.94
O = 12
T = 1.66
O = 13
T = 53.32
O = N/A
T = TO
O = 12
T = 1.51
O = 60
T = 284.76
O = 44
T = 1.07
O = 61
T = 1.29
s3v80c600-8.cnf O = 15
T = 1.21
O = 15
T = 1.64
O = 15
T = 2.19
O = 17
T = 30.89
O = N/A
T = TO
O = 15
T = 1.21
O = 56
T = 284.27
O = 64
T = 0.90
O = 79
T = 0.97
s3v80c600-9.cnf O = 12
T = 1.42
O = 12
T = 2.43
O = 12
T = 1.76
O = 12
T = 54.03
O = N/A
T = TO
O = 12
T = 1.42
O = 58
T = 284.42
O = 56
T = 0.59
O = 67
T = 0.95
s3v80c700-1.cnf O = 19
T = 1.34
O = 19
T = 1.62
O = 19
T = 1.62
O = 20
T = 236.08
O = N/A
T = TO
O = 19
T = 1.34
O = 58
T = 284.15
O = 56
T = 1.04
O = 89
T = 1.19
s3v80c700-10.cnf O = 19
T = 1.42
O = 19
T = 2.25
O = 19
T = 1.43
O = 22
T = 225.58
O = N/A
T = TO
O = 19
T = 1.42
O = 67
T = 284.37
O = 61
T = 0.67
O = 76
T = 1.23
s3v80c700-2.cnf O = 20
T = 1.10
O = 20
T = 2.14
O = 20
T = 1.10
O = 23
T = 121.02
O = N/A
T = TO
O = 20
T = 1.21
O = 62
T = 284.38
O = 53
T = 1.27
O = 74
T = 1.39
s3v80c700-3.cnf O = 18
T = 1.41
O = 18
T = 2.14
O = 18
T = 1.41
O = 20
T = 220.93
O = N/A
T = TO
O = 18
T = 1.75
O = 67
T = 284.41
O = 65
T = 0.76
O = 103
T = 0.88
s3v80c700-4.cnf O = 15
T = 1.51
O = 15
T = 2.47
O = 15
T = 1.51
O = 16
T = 17.29
O = N/A
T = TO
O = 15
T = 1.70
O = 69
T = 284.54
O = 63
T = 0.84
O = 81
T = 1.29
s3v80c700-5.cnf O = 21
T = 0.45
O = 21
T = 2.57
O = 21
T = 1.59
O = 24
T = 47.05
O = N/A
T = TO
O = 21
T = 0.45
O = 58
T = 284.31
O = 61
T = 1.02
O = 94
T = 1.57
s3v80c700-6.cnf O = 18
T = 1.18
O = 18
T = 2.25
O = 18
T = 1.78
O = 18
T = 39.81
O = N/A
T = TO
O = 18
T = 1.18
O = 68
T = 284.53
O = 60
T = 1.01
O = 69
T = 0.94
s3v80c700-7.cnf O = 21
T = 1.30
O = 21
T = 1.91
O = 21
T = 1.68
O = 23
T = 116.09
O = N/A
T = TO
O = 21
T = 1.30
O = 74
T = 284.55
O = 72
T = 0.94
O = 98
T = 1.12
s3v80c700-8.cnf O = 19
T = 1.17
O = 19
T = 2.54
O = 19
T = 1.45
O = 22
T = 142.17
O = N/A
T = TO
O = 19
T = 1.17
O = 71
T = 284.24
O = 63
T = 0.91
O = 85
T = 1.39
s3v80c700-9.cnf O = 18
T = 1.24
O = 18
T = 1.83
O = 18
T = 1.24
O = 21
T = 1.97
O = N/A
T = TO
O = 18
T = 1.51
O = 53
T = 284.39
O = 40
T = 0.98
O = 81
T = 1.48
s3v80c800-1.cnf O = 28
T = 1.05
O = 28
T = 1.86
O = 28
T = 2.66
O = 34
T = 71.49
O = N/A
T = TO
O = 28
T = 1.05
O = 87
T = 284.29
O = 64
T = 0.81
O = 107
T = 1.31
s3v80c800-10.cnf O = 27
T = 0.89
O = 27
T = 1.36
O = 27
T = 1.34
O = 32
T = 2.87
O = N/A
T = TO
O = 27
T = 0.89
O = 68
T = 284.52
O = 93
T = 1.04
O = 102
T = 0.92
s3v80c800-2.cnf O = 32
T = 1.13
O = 32
T = 2.11
O = 32
T = 1.66
O = 37
T = 170.44
O = N/A
T = TO
O = 32
T = 1.13
O = 76
T = 284.37
O = 82
T = 0.82
O = 102
T = 1.30
s3v80c800-3.cnf O = 27
T = 1.67
O = 27
T = 1.76
O = 27
T = 1.86
O = 31
T = 250.50
O = N/A
T = TO
O = 27
T = 1.67
O = 72
T = 284.50
O = 75
T = 1.01
O = 103
T = 1.34
s3v80c800-4.cnf O = 26
T = 1.41
O = 26
T = 1.41
O = 26
T = 2.03
O = 32
T = 155.85
O = N/A
T = TO
O = 26
T = 1.49
O = 73
T = 284.38
O = 73
T = 1.30
O = 101
T = 1.32
s3v80c800-5.cnf O = 27
T = 0.94
O = 27
T = 0.94
O = 27
T = 1.94
O = 34
T = 148.60
O = N/A
T = TO
O = 27
T = 1.43
O = 79
T = 284.68
O = 66
T = 0.99
O = 85
T = 1.22
s3v80c800-6.cnf O = 28
T = 0.99
O = 28
T = 1.60
O = 28
T = 1.96
O = 34
T = 186.18
O = N/A
T = TO
O = 28
T = 0.99
O = 71
T = 284.47
O = 65
T = 1.09
O = 95
T = 1.29
s3v80c800-7.cnf O = 27
T = 0.96
O = 27
T = 0.96
O = 27
T = 1.89
O = 32
T = 107.95
O = N/A
T = TO
O = 27
T = 1.43
O = 64
T = 284.33
O = 76
T = 0.70
O = 94
T = 1.06
s3v80c800-8.cnf O = 25
T = 0.94
O = 25
T = 28.83
O = 25
T = 1.35
O = 31
T = 47.99
O = N/A
T = TO
O = 25
T = 0.94
O = 67
T = 284.38
O = 68
T = 0.91
O = 92
T = 1.32
s3v80c800-9.cnf O = 26
T = 1.19
O = 26
T = 1.19
O = 26
T = 1.93
O = 28
T = 195.04
O = N/A
T = TO
O = 26
T = 1.63
O = 63
T = 284.41
O = 73
T = 1.04
O = 92
T = 1.26
s3v80c900-1.cnf O = 35
T = 1.00
O = 35
T = 1.44
O = 35
T = 2.00
O = 41
T = 65.58
O = N/A
T = TO
O = 35
T = 1.00
O = 91
T = 284.29
O = 94
T = 0.85
O = 119
T = 1.13
s3v80c900-10.cnf O = 35
T = 1.37
O = 35
T = 2.01
O = 35
T = 1.69
O = 42
T = 120.67
O = N/A
T = TO
O = 35
T = 1.37
O = 79
T = 284.33
O = 91
T = 1.12
O = 106
T = 1.26
s3v80c900-2.cnf O = 37
T = 1.09
O = 37
T = 1.98
O = 37
T = 1.49
O = 45
T = 49.50
O = N/A
T = TO
O = 37
T = 1.09
O = 96
T = 284.51
O = 94
T = 1.13
O = 119
T = 0.95
s3v80c900-3.cnf O = 34
T = 1.11
O = 34
T = 2.69
O = 34
T = 2.59
O = 39
T = 194.51
O = N/A
T = TO
O = 34
T = 1.11
O = 87
T = 284.05
O = 79
T = 0.89
O = 117
T = 1.40
s3v80c900-4.cnf O = 35
T = 1.58
O = 35
T = 41.69
O = 35
T = 1.80
O = 47
T = 46.97
O = N/A
T = TO
O = 35
T = 1.58
O = 96
T = 284.73
O = 99
T = 0.94
O = 108
T = 0.91
s3v80c900-5.cnf O = 32
T = 1.73
O = 32
T = 2.03
O = 32
T = 1.73
O = 39
T = 115.38
O = N/A
T = TO
O = 32
T = 1.76
O = 91
T = 284.32
O = 84
T = 1.06
O = 102
T = 0.80
s3v80c900-6.cnf O = 31
T = 0.58
O = 31
T = 1.73
O = 31
T = 1.87
O = 37
T = 111.42
O = N/A
T = TO
O = 31
T = 0.58
O = 67
T = 284.47
O = 89
T = 0.98
O = 107
T = 1.13
s3v80c900-7.cnf O = 34
T = 0.98
O = 34
T = 8.04
O = 34
T = 2.15
O = 43
T = 95.36
O = N/A
T = TO
O = 34
T = 0.98
O = 87
T = 284.34
O = 89
T = 1.23
O = 107
T = 0.55
s3v80c900-8.cnf O = 33
T = 1.13
O = 33
T = 1.74
O = 33
T = 1.13
O = 38
T = 226.94
O = N/A
T = TO
O = 33
T = 1.25
O = 83
T = 284.13
O = 98
T = 1.19
O = 106
T = 1.15
s3v80c900-9.cnf O = 36
T = 1.74
O = 36
T = 1.99
O = 36
T = 1.74
O = 42
T = 120.29
O = N/A
T = TO
O = 36
T = 1.97
O = 81
T = 284.45
O = 86
T = 0.78
O = 109
T = 1.48
min1s2v160c640_0.cnf O = 359
T = 1.75
O = 359
T = 3.41
O = 359
T = 2.92
O = 392
T = 262.58
O = 359
T = 1.75
O = 359
T = 3.06
O = 436
T = 284.32
O = N/A
T = TO
O = 478
T = 0.01
min1s2v160c640_1.cnf O = 356
T = 1.38
O = 356
T = 3.24
O = 356
T = 3.02
O = 392
T = 56.86
O = 356
T = 1.38
O = 356
T = 2.75
O = 438
T = 284.21
O = N/A
T = TO
O = 475
T = 0.01
min1s2v160c640_10.cnf O = 351
T = 1.39
O = 351
T = 3.17
O = 351
T = 2.79
O = 392
T = 44.33
O = 351
T = 1.39
O = 351
T = 2.29
O = 421
T = 284.35
O = N/A
T = TO
O = N/A
T = TO
min1s2v160c640_11.cnf O = 350
T = 0.99
O = 350
T = 2.79
O = 350
T = 3.40
O = 391
T = 4.88
O = 350
T = 0.99
O = 350
T = 3.21
O = 435
T = 284.31
O = N/A
T = TO
O = 471
T = 0.01
min1s2v160c640_12.cnf O = 361
T = 2.63
O = 361
T = 3.56
O = 361
T = 3.41
O = 397
T = 64.35
O = 361
T = 4.25
O = 361
T = 2.63
O = 433
T = 284.48
O = N/A
T = TO
O = N/A
T = TO
min1s2v160c640_13.cnf O = 365
T = 2.44
O = 365
T = 2.70
O = 365
T = 4.11
O = 410
T = 32.72
O = 365
T = 10.79
O = 365
T = 2.44
O = 441
T = 284.50
O = N/A
T = TO
O = 464
T = 0.01
min1s2v160c640_14.cnf O = 354
T = 1.49
O = 354
T = 1.49
O = 354
T = 2.97
O = 389
T = 93.77
O = 354
T = 1.53
O = 354
T = 3.13
O = 425
T = 284.38
O = N/A
T = TO
O = 460
T = 0.01
min1s2v160c640_15.cnf O = 357
T = 1.81
O = 357
T = 3.46
O = 357
T = 2.62
O = 393
T = 43.63
O = 357
T = 1.81
O = 357
T = 2.93
O = 430
T = 284.57
O = N/A
T = TO
O = 472
T = 0.01
min1s2v160c640_2.cnf O = 345
T = 0.67
O = 345
T = 3.55
O = 345
T = 3.92
O = 378
T = 92.93
O = 345
T = 0.67
O = 345
T = 3.50
O = 432
T = 284.64
O = N/A
T = TO
O = N/A
T = TO
min1s2v160c640_3.cnf O = 349
T = 0.92
O = 349
T = 2.31
O = 349
T = 2.61
O = 378
T = 16.20
O = 349
T = 0.92
O = 349
T = 3.51
O = 437
T = 284.37
O = N/A
T = TO
O = 470
T = 0.00
min1s2v160c640_4.cnf O = 355
T = 1.72
O = 355
T = 3.28
O = 355
T = 2.73
O = 392
T = 119.89
O = 355
T = 1.72
O = 355
T = 2.81
O = 433
T = 284.63
O = N/A
T = TO
O = 479
T = 0.02
min1s2v160c640_5.cnf O = 348
T = 0.77
O = 348
T = 3.64
O = 348
T = 2.97
O = 389
T = 63.32
O = 348
T = 0.77
O = 348
T = 3.04
O = 429
T = 284.51
O = N/A
T = TO
O = 476
T = 0.02
min1s2v160c640_6.cnf O = 348
T = 0.85
O = 348
T = 3.59
O = 348
T = 3.48
O = 391
T = 64.20
O = 348
T = 0.85
O = 348
T = 2.48
O = 422
T = 284.45
O = N/A
T = TO
O = 485
T = 0.01
min1s2v160c640_7.cnf O = 355
T = 1.34
O = 355
T = 3.62
O = 355
T = 3.03
O = 393
T = 196.08
O = 355
T = 1.34
O = 355
T = 2.92
O = 439
T = 284.47
O = N/A
T = TO
O = 495
T = 0.01
min1s2v160c640_8.cnf O = 363
T = 2.40
O = 363
T = 3.14
O = 363
T = 3.47
O = 400
T = 8.78
O = 363
T = 4.44
O = 363
T = 2.40
O = 416
T = 284.12
O = N/A
T = TO
O = 486
T = 0.00
min1s2v160c640_9.cnf O = 353
T = 1.41
O = 353
T = 3.08
O = 353
T = 3.32
O = 387
T = 115.79
O = 353
T = 1.41
O = 353
T = 2.75
O = 427
T = 284.30
O = N/A
T = TO
O = 462
T = 0.01
min1s2v160c800_0.cnf O = 452
T = 2.71
O = 452
T = 3.41
O = 452
T = 3.70
O = 489
T = 265.39
O = 452
T = 2.90
O = 452
T = 2.71
O = 532
T = 284.13
O = N/A
T = TO
O = 586
T = 0.01
min1s2v160c800_1.cnf O = 463
T = 2.88
O = 463
T = 3.41
O = 463
T = 3.65
O = 507
T = 239.99
O = 463
T = 12.14
O = 463
T = 2.88
O = 546
T = 284.22
O = N/A
T = TO
O = N/A
T = TO
min1s2v160c800_10.cnf O = 457
T = 2.64
O = 457
T = 3.81
O = 457
T = 2.64
O = 499
T = 244.47
O = 457
T = 4.96
O = 457
T = 3.64
O = 540
T = 284.29
O = N/A
T = TO
O = N/A
T = TO
min1s2v160c800_11.cnf O = 462
T = 2.16
O = 462
T = 2.16
O = 462
T = 3.07
O = 506
T = 58.63
O = 462
T = 14.61
O = 462
T = 2.74
O = 543
T = 284.24
O = N/A
T = TO
O = N/A
T = TO
min1s2v160c800_12.cnf O = 462
T = 3.08
O = 462
T = 3.25
O = 462
T = 3.25
O = 511
T = 105.10
O = 462
T = 23.47
O = 462
T = 3.08
O = 554
T = 284.43
O = N/A
T = TO
O = 610
T = 0.01
min1s2v160c800_13.cnf O = 467
T = 2.23
O = 467
T = 2.86
O = 467
T = 3.21
O = 518
T = 57.05
O = 467
T = 52.68
O = 467
T = 2.23
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
min1s2v160c800_14.cnf O = 464
T = 1.90
O = 464
T = 2.78
O = 464
T = 2.55
O = 510
T = 15.90
O = 464
T = 27.08
O = 464
T = 1.90
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
min1s2v160c800_15.cnf O = 459
T = 2.05
O = 459
T = 3.63
O = 459
T = 3.94
O = 497
T = 18.79
O = 459
T = 8.61
O = 459
T = 2.05
O = 549
T = 283.92
O = N/A
T = TO
O = N/A
T = TO
min1s2v160c800_2.cnf O = 457
T = 2.37
O = 457
T = 3.04
O = 457
T = 3.61
O = 504
T = 235.28
O = 457
T = 10.84
O = 457
T = 2.37
O = 555
T = 284.48
O = N/A
T = TO
O = 616
T = 0.01
min1s2v160c800_3.cnf O = 459
T = 2.68
O = 459
T = 3.28
O = 459
T = 3.72
O = 505
T = 32.59
O = 459
T = 4.41
O = 459
T = 2.68
O = N/A
T = TO
O = N/A
T = TO
O = 594
T = 0.02
min1s2v160c800_4.cnf O = 464
T = 0.97
O = 464
T = 3.23
O = 464
T = 3.27
O = 508
T = 56.62
O = 464
T = 25.47
O = 464
T = 0.97
O = 569
T = 284.23
O = N/A
T = TO
O = 615
T = 0.02
min1s2v160c800_5.cnf O = 455
T = 3.04
O = 455
T = 3.38
O = 455
T = 3.68
O = 501
T = 164.72
O = 455
T = 4.87
O = 455
T = 3.04
O = 543
T = 284.44
O = N/A
T = TO
O = N/A
T = TO
min1s2v160c800_6.cnf O = 445
T = 2.07
O = 445
T = 4.19
O = 445
T = 4.04
O = 495
T = 62.24
O = 445
T = 2.07
O = 445
T = 2.42
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
min1s2v160c800_7.cnf O = 460
T = 2.70
O = 460
T = 3.46
O = 460
T = 3.88
O = 508
T = 178.14
O = 460
T = 7.60
O = 460
T = 2.70
O = N/A
T = TO
O = N/A
T = TO
O = 620
T = 0.02
min1s2v160c800_8.cnf O = 464
T = 2.96
O = 464
T = 3.26
O = 464
T = 3.69
O = 504
T = 112.60
O = 464
T = 23.66
O = 464
T = 2.96
O = 564
T = 284.38
O = N/A
T = TO
O = 606
T = 0.01
min1s2v160c800_9.cnf O = 459
T = 3.26
O = 459
T = 3.67
O = 459
T = 3.26
O = 501
T = 158.59
O = 459
T = 9.19
O = 459
T = 3.64
O = N/A
T = TO
O = N/A
T = TO
O = 575
T = 0.01
min1s2v160c960_0.cnf O = 562
T = 3.16
O = 562
T = 3.81
O = 562
T = 3.16
O = 607
T = 108.19
O = 562
T = 53.88
O = 562
T = 3.39
O = N/A
T = TO
O = 661
T = 0.10
O = 707
T = 0.01
min1s2v160c960_1.cnf O = 578
T = 1.52
O = 578
T = 3.82
O = 578
T = 4.02
O = 629
T = 153.96
O = N/A
T = TO
O = 578
T = 1.52
O = N/A
T = TO
O = 677
T = 0.10
O = 706
T = 0.02
min1s2v160c960_10.cnf O = 564
T = 3.19
O = 564
T = 3.96
O = 564
T = 3.27
O = 607
T = 258.01
O = 564
T = 85.52
O = 564
T = 3.19
O = N/A
T = TO
O = 671
T = 0.09
O = 714
T = 0.01
min1s2v160c960_11.cnf O = 567
T = 2.58
O = 567
T = 3.64
O = 567
T = 3.27
O = 624
T = 183.48
O = 567
T = 91.18
O = 567
T = 2.58
O = N/A
T = TO
O = 641
T = 0.09
O = 703
T = 0.01
min1s2v160c960_12.cnf O = 568
T = 1.70
O = 568
T = 2.90
O = 568
T = 1.70
O = 614
T = 223.66
O = 568
T = 79.33
O = 568
T = 2.56
O = N/A
T = TO
O = 639
T = 0.09
O = 733
T = 0.01
min1s2v160c960_13.cnf O = 572
T = 2.37
O = 572
T = 3.40
O = 572
T = 2.40
O = 629
T = 147.84
O = 572
T = 228.14
O = 572
T = 2.37
O = N/A
T = TO
O = 671
T = 0.10
O = 705
T = 0.01
min1s2v160c960_14.cnf O = 568
T = 2.39
O = 568
T = 3.46
O = 568
T = 4.07
O = 629
T = 286.14
O = 568
T = 71.85
O = 568
T = 2.39
O = N/A
T = TO
O = 682
T = 0.10
O = 687
T = 0.01
min1s2v160c960_15.cnf O = 558
T = 2.38
O = 558
T = 3.53
O = 558
T = 3.00
O = 603
T = 120.45
O = 558
T = 10.77
O = 558
T = 2.38
O = 655
T = 284.56
O = 655
T = 0.09
O = 707
T = 0.02
min1s2v160c960_2.cnf O = 561
T = 2.09
O = 561
T = 2.09
O = 561
T = 3.35
O = 615
T = 196.33
O = 561
T = 23.14
O = 561
T = 3.52
O = 647
T = 284.21
O = 647
T = 0.10
O = 732
T = 0.01
min1s2v160c960_3.cnf O = 563
T = 2.64
O = 563
T = 3.05
O = 563
T = 3.69
O = 614
T = 137.84
O = 563
T = 17.05
O = 563
T = 2.64
O = N/A
T = TO
O = 679
T = 0.10
O = 714
T = 0.01
min1s2v160c960_4.cnf O = 574
T = 3.07
O = 574
T = 3.24
O = 574
T = 3.07
O = 633
T = 70.37
O = N/A
T = TO
O = 574
T = 3.62
O = N/A
T = TO
O = 651
T = 0.10
O = 731
T = 0.01
min1s2v160c960_5.cnf O = 571
T = 2.71
O = 571
T = 3.90
O = 571
T = 3.79
O = 617
T = 241.57
O = 571
T = 145.44
O = 571
T = 2.71
O = N/A
T = TO
O = 660
T = 0.10
O = 720
T = 0.02
min1s2v160c960_6.cnf O = 549
T = 2.51
O = 549
T = 2.86
O = 549
T = 3.87
O = 599
T = 261.29
O = 549
T = 14.20
O = 549
T = 2.51
O = 655
T = 284.05
O = 655
T = 0.19
O = 717
T = 0.01
min1s2v160c960_7.cnf O = 565
T = 2.90
O = 565
T = 2.90
O = 565
T = 3.72
O = 617
T = 45.09
O = 565
T = 16.86
O = 565
T = 2.96
O = N/A
T = TO
O = 683
T = 0.10
O = 739
T = 0.01
min1s2v160c960_8.cnf O = 566
T = 2.27
O = 566
T = 3.01
O = 566
T = 2.50
O = 609
T = 82.20
O = 566
T = 70.93
O = 566
T = 2.27
O = 676
T = 284.26
O = 676
T = 0.10
O = 718
T = 0.01
min1s2v160c960_9.cnf O = 555
T = 2.36
O = 555
T = 3.91
O = 555
T = 3.46
O = 609
T = 68.45
O = 555
T = 5.43
O = 555
T = 2.36
O = N/A
T = TO
O = 628
T = 0.11
O = 681
T = 0.01
min1s2v200c1000_0.cnf O = 580
T = 2.85
O = 580
T = 3.48
O = 580
T = 2.96
O = 641
T = 90.96
O = 580
T = 122.74
O = 580
T = 2.85
O = N/A
T = TO
O = 689
T = 0.09
O = 753
T = 0.02
min1s2v200c1000_1.cnf O = 570
T = 1.80
O = 570
T = 4.49
O = 570
T = 4.02
O = 622
T = 212.49
O = 570
T = 36.64
O = 570
T = 1.80
O = N/A
T = TO
O = 660
T = 0.08
O = 755
T = 0.01
min1s2v200c1000_10.cnf O = 574
T = 2.45
O = 574
T = 4.68
O = 574
T = 2.45
O = 634
T = 193.42
O = 574
T = 38.47
O = 574
T = 3.73
O = 682
T = 284.49
O = 682
T = 0.09
O = 761
T = 0.01
min1s2v200c1000_11.cnf O = 570
T = 3.29
O = 570
T = 4.21
O = 570
T = 3.39
O = 634
T = 25.85
O = 570
T = 20.00
O = 570
T = 3.29
O = 669
T = 284.50
O = 669
T = 0.10
O = 734
T = 0.01
min1s2v200c1000_12.cnf O = 569
T = 3.52
O = 569
T = 4.49
O = 569
T = 4.14
O = 629
T = 232.91
O = 569
T = 20.52
O = 569
T = 3.52
O = N/A
T = TO
O = 682
T = 0.11
O = 759
T = 0.01
min1s2v200c1000_13.cnf O = 573
T = 3.14
O = 573
T = 3.14
O = 573
T = 3.96
O = 630
T = 263.70
O = 573
T = 73.58
O = 573
T = 3.29
O = N/A
T = TO
O = 679
T = 0.10
O = 778
T = 0.02
min1s2v200c1000_14.cnf O = 571
T = 3.26
O = 571
T = 4.80
O = 571
T = 3.77
O = 628
T = 25.89
O = 571
T = 37.98
O = 571
T = 3.26
O = N/A
T = TO
O = 675
T = 0.10
O = 772
T = 0.01
min1s2v200c1000_15.cnf O = 573
T = 3.29
O = 573
T = 4.47
O = 573
T = 3.48
O = 638
T = 198.35
O = 573
T = 24.08
O = 573
T = 3.29
O = N/A
T = TO
O = 685
T = 0.09
O = 746
T = 0.02
min1s2v200c1000_2.cnf O = 575
T = 3.93
O = 575
T = 4.20
O = 575
T = 3.93
O = 635
T = 141.52
O = 575
T = 37.53
O = 575
T = 4.51
O = N/A
T = TO
O = 707
T = 0.08
O = 753
T = 0.01
min1s2v200c1000_3.cnf O = 574
T = 3.92
O = 574
T = 4.25
O = 574
T = 3.92
O = 642
T = 208.20
O = 574
T = 80.02
O = 574
T = 4.08
O = N/A
T = TO
O = 707
T = 0.10
O = 742
T = 0.01
min1s2v200c1000_4.cnf O = 570
T = 3.36
O = 570
T = 4.20
O = 570
T = 4.36
O = 630
T = 240.90
O = 570
T = 25.37
O = 570
T = 3.36
O = N/A
T = TO
O = 679
T = 0.10
O = 755
T = 0.01
min1s2v200c1000_5.cnf O = 571
T = 3.21
O = 571
T = 5.14
O = 571
T = 3.21
O = 627
T = 162.83
O = 571
T = 65.21
O = 571
T = 3.56
O = N/A
T = TO
O = 688
T = 0.09
O = 750
T = 0.01
min1s2v200c1000_6.cnf O = 570
T = 3.76
O = 570
T = 4.10
O = 570
T = 5.57
O = 639
T = 290.13
O = 570
T = 25.50
O = 570
T = 3.76
O = 664
T = 284.37
O = 664
T = 0.10
O = 768
T = 0.01
min1s2v200c1000_7.cnf O = 561
T = 3.03
O = 561
T = 3.03
O = 561
T = 3.99
O = 614
T = 21.77
O = 561
T = 8.81
O = 561
T = 4.23
O = N/A
T = TO
O = 682
T = 0.10
O = 759
T = 0.02
min1s2v200c1000_8.cnf O = 559
T = 2.40
O = 559
T = 2.40
O = 559
T = 4.47
O = 616
T = 278.06
O = 559
T = 4.41
O = 559
T = 4.10
O = N/A
T = TO
O = 672
T = 0.10
O = 762
T = 0.01
min1s2v200c1000_9.cnf O = 563
T = 2.74
O = 563
T = 2.74
O = 563
T = 4.95
O = 611
T = 172.85
O = 563
T = 8.45
O = 563
T = 3.57
O = 662
T = 284.09
O = 662
T = 0.09
O = 738
T = 0.02
min1s2v200c1200_0.cnf O = 708
T = 3.58
O = 708
T = 4.48
O = 708
T = 4.04
O = 768
T = 229.54
O = N/A
T = TO
O = 708
T = 3.58
O = N/A
T = TO
O = 810
T = 0.09
O = 894
T = 0.01
min1s2v200c1200_1.cnf O = 699
T = 4.14
O = 699
T = 4.14
O = 699
T = 5.81
O = 772
T = 65.79
O = 699
T = 214.99
O = 699
T = 4.20
O = N/A
T = TO
O = 838
T = 0.09
O = 899
T = 0.02
min1s2v200c1200_10.cnf O = 708
T = 2.82
O = 708
T = 4.59
O = 708
T = 2.82
O = 778
T = 124.01
O = N/A
T = TO
O = 708
T = 3.89
O = N/A
T = TO
O = 854
T = 0.10
O = 912
T = 0.01
min1s2v200c1200_11.cnf O = 699
T = 3.60
O = 699
T = 3.60
O = 699
T = 4.32
O = 775
T = 72.15
O = 699
T = 136.98
O = 699
T = 4.60
O = N/A
T = TO
O = 801
T = 0.09
O = 892
T = 0.01
min1s2v200c1200_12.cnf O = 704
T = 3.38
O = 704
T = 4.60
O = 704
T = 4.48
O = 771
T = 155.15
O = N/A
T = TO
O = 704
T = 3.38
O = N/A
T = TO
O = 831
T = 0.10
O = 900
T = 0.02
min1s2v200c1200_13.cnf O = 710
T = 3.54
O = 710
T = 4.72
O = 710
T = 3.54
O = 781
T = 108.72
O = N/A
T = TO
O = 710
T = 3.77
O = N/A
T = TO
O = 840
T = 0.10
O = 922
T = 0.01
min1s2v200c1200_14.cnf O = 707
T = 3.46
O = 707
T = 4.01
O = 707
T = 3.46
O = 774
T = 16.62
O = N/A
T = TO
O = 707
T = 3.84
O = N/A
T = TO
O = 813
T = 0.09
O = 924
T = 0.02
min1s2v200c1200_15.cnf O = 709
T = 3.94
O = 709
T = 4.53
O = 709
T = 4.01
O = 776
T = 17.60
O = N/A
T = TO
O = 709
T = 3.94
O = N/A
T = TO
O = 858
T = 0.10
O = 905
T = 0.01
min1s2v200c1200_2.cnf O = 706
T = 3.55
O = 706
T = 3.62
O = 706
T = 3.55
O = 772
T = 202.84
O = 706
T = 262.34
O = 706
T = 4.37
O = N/A
T = TO
O = 830
T = 0.10
O = 905
T = 0.02
min1s2v200c1200_3.cnf O = 703
T = 1.47
O = 703
T = 4.23
O = 703
T = 3.83
O = 788
T = 130.79
O = 703
T = 245.87
O = 703
T = 1.47
O = N/A
T = TO
O = 815
T = 0.10
O = 888
T = 0.02
min1s2v200c1200_4.cnf O = 710
T = 2.52
O = 710
T = 5.26
O = 710
T = 4.01
O = 779
T = 0.80
O = N/A
T = TO
O = 710
T = 2.52
O = 844
T = 284.41
O = 844
T = 0.11
O = 901
T = 0.02
min1s2v200c1200_5.cnf O = 700
T = 4.11
O = 700
T = 4.11
O = 700
T = 4.44
O = 760
T = 193.88
O = N/A
T = TO
O = 700
T = 4.60
O = N/A
T = TO
O = 820
T = 0.09
O = 894
T = 0.01
min1s2v200c1200_6.cnf O = 709
T = 3.43
O = 709
T = 3.43
O = 709
T = 4.78
O = 776
T = 226.70
O = N/A
T = TO
O = 709
T = 3.62
O = N/A
T = TO
O = 860
T = 0.10
O = 912
T = 0.02
min1s2v200c1200_7.cnf O = 704
T = 3.82
O = 704
T = 3.82
O = 704
T = 4.84
O = 773
T = 156.90
O = N/A
T = TO
O = 704
T = 4.10
O = N/A
T = TO
O = 849
T = 0.10
O = 903
T = 0.01
min1s2v200c1200_8.cnf O = 685
T = 4.62
O = 685
T = 4.63
O = 685
T = 4.87
O = 746
T = 75.35
O = 685
T = 16.03
O = 685
T = 4.62
O = N/A
T = TO
O = 826
T = 0.09
O = 913
T = 0.01
min1s2v200c1200_9.cnf O = 696
T = 3.94
O = 696
T = 4.39
O = 696
T = 3.94
O = 747
T = 14.77
O = 696
T = 153.49
O = 696
T = 4.31
O = N/A
T = TO
O = 828
T = 0.09
O = 881
T = 0.01
min1s2v200c800_0.cnf O = 446
T = 2.97
O = 446
T = 2.97
O = 446
T = 4.06
O = 488
T = 59.64
O = 446
T = 4.43
O = 446
T = 3.01
O = 552
T = 284.40
O = N/A
T = TO
O = 604
T = 0.01
min1s2v200c800_1.cnf O = 444
T = 3.46
O = 444
T = 4.19
O = 444
T = 4.80
O = 492
T = 287.40
O = 444
T = 3.46
O = 444
T = 3.59
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
min1s2v200c800_10.cnf O = 438
T = 2.01
O = 438
T = 4.52
O = 438
T = 3.10
O = 489
T = 178.66
O = 438
T = 2.01
O = 438
T = 3.61
O = N/A
T = TO
O = N/A
T = TO
O = 601
T = 0.01
min1s2v200c800_11.cnf O = 437
T = 1.78
O = 437
T = 4.22
O = 437
T = 4.93
O = 482
T = 221.12
O = 437
T = 1.78
O = 437
T = 3.35
O = 536
T = 284.25
O = N/A
T = TO
O = 596
T = 0.01
min1s2v200c800_12.cnf O = 436
T = 1.54
O = 436
T = 3.32
O = 436
T = 3.91
O = 489
T = 44.04
O = 436
T = 1.54
O = 436
T = 4.03
O = 534
T = 284.28
O = N/A
T = TO
O = 617
T = 0.02
min1s2v200c800_13.cnf O = 439
T = 2.40
O = 439
T = 4.45
O = 439
T = 3.52
O = 490
T = 253.40
O = 439
T = 2.40
O = 439
T = 3.70
O = 531
T = 284.43
O = N/A
T = TO
O = 618
T = 0.02
min1s2v200c800_14.cnf O = 436
T = 1.66
O = 436
T = 2.94
O = 436
T = 2.76
O = 485
T = 150.78
O = 436
T = 1.66
O = 436
T = 4.11
O = N/A
T = TO
O = N/A
T = TO
O = 614
T = 0.01
min1s2v200c800_15.cnf O = 438
T = 2.07
O = 438
T = 2.53
O = 438
T = 3.72
O = 486
T = 46.54
O = 438
T = 2.07
O = 438
T = 3.29
O = N/A
T = TO
O = N/A
T = TO
O = 608
T = 0.01
min1s2v200c800_2.cnf O = 438
T = 1.66
O = 438
T = 3.45
O = 438
T = 4.37
O = 489
T = 43.64
O = 438
T = 1.66
O = 438
T = 4.29
O = 542
T = 284.04
O = N/A
T = TO
O = N/A
T = TO
min1s2v200c800_3.cnf O = 439
T = 2.18
O = 439
T = 2.98
O = 439
T = 3.72
O = 489
T = 193.94
O = 439
T = 2.18
O = 439
T = 3.77
O = 550
T = 284.49
O = 550
T = 0.11
O = 589
T = 0.01
min1s2v200c800_4.cnf O = 437
T = 2.08
O = 437
T = 3.28
O = 437
T = 4.31
O = 484
T = 217.03
O = 437
T = 2.08
O = 437
T = 3.95
O = 519
T = 284.48
O = N/A
T = TO
O = 606
T = 0.01
min1s2v200c800_5.cnf O = 435
T = 1.14
O = 435
T = 3.18
O = 435
T = 5.17
O = 483
T = 32.54
O = 435
T = 1.14
O = 435
T = 2.77
O = N/A
T = TO
O = N/A
T = TO
O = 597
T = 0.01
min1s2v200c800_6.cnf O = 445
T = 2.36
O = 445
T = 2.54
O = 445
T = 4.84
O = 500
T = 98.36
O = 445
T = 4.93
O = 445
T = 2.36
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
min1s2v200c800_7.cnf O = 440
T = 2.57
O = 440
T = 2.57
O = 440
T = 3.79
O = 483
T = 23.54
O = 440
T = 3.01
O = 440
T = 3.98
O = 549
T = 284.14
O = N/A
T = TO
O = 605
T = 0.01
min1s2v200c800_8.cnf O = 436
T = 1.61
O = 436
T = 4.24
O = 436
T = 4.24
O = 483
T = 143.27
O = 436
T = 1.61
O = 436
T = 3.00
O = 539
T = 284.12
O = N/A
T = TO
O = N/A
T = TO
min1s2v200c800_9.cnf O = 438
T = 2.07
O = 438
T = 3.52
O = 438
T = 2.88
O = 484
T = 109.10
O = 438
T = 2.07
O = 438
T = 4.21
O = 523
T = 284.12
O = N/A
T = TO
O = 592
T = 0.01